Accepted Papers

Applying distances between terms to both flat and hierarchical data [pdf]: Authors: Jorge A. Bedoya-Puerta, Jose Hernandez-Orallo, Cesar Ferri and Maria-Jose Ramírez-Quintana
Verified Stack-Based Genetic Programming via Dependent Types [pdf]: Author: Larry Diehl
Two New Operators for IGOR2 to Increase Synthesis Efficiency [pdf]: Author: Emanuel Kitzelmann
An Analytical Inductive Functional Programming System that Avoids Unintended Programs [pdf]: Author: Susumu Katayama
MagicHaskeller: System demonstration [pdf]: Author: Susumu Katayama

Proceedings