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

Proceedings of AAIP 2011 [pdf]
Editors: Emanuel Kitzelmann, Ute Schmid