Monday, September 17

Workshop on Approaches and Applications of Inductive Programming – AAIP’07

Chairs: Emanuel Kitzelmann, Ute Schmid

Room 105

Session 1 – 9:00-10:30

Welcome address

Automatic Design of Algorithms Through Evolution (ADATE)
by Roland Olsson (Invited talk)

A Functional Approach to Evolving Recursive Programs
by Martin Dostal

Detecting Data Structures from Traces
by Alon Itai, Michael Slavkin

10:30-11:00 Coffee break

Session 2 – 11:00-12:30

Data-Driven Learning of Functions over Algebraic Datatypes from Input/Output-Examples
by Emanuel Kitzelmann

An Inductive Programming Approach to Algebraic Specification
by Lutz Hamel (Invited talk)

General Discussion

16:00-17:00 in Room 107

Discussion about possibilities for future collaborations