Invited papers. Deriving a relationship from a single example / Neil Mitchell -- Synthesis of functions using generic programming / Pieter Koopman and Rinus Plasmeijer -- Regular papers. Inductive programming : a survey of program synthesis techniques / Emanuel Kitzelmann -- Incremental learning in inductive programming / Robert Henderson -- Enumerating well-typed terms generically / Alexey Rodriguez Yakushev and Johan Jeuring -- Generalisation operators for lists embedded in a metric space / V. Estruch, C. Ferri, J. Hernández-Orallo, and M.J. Ramírez-Quintana -- Porting IgorII from Maude to Haskell / Martin Hofmann, Emanuel Kitzelmann, and Ute Schmid -- Automated method induction : functional goes object oriented / Thomas Hieber and Martin Hofmann -- Recent improvements of MagicHaskeller / Susumu Katayama
