Call for Papers

The second workshop on inductive programming will be held on Monday, 17 September, 2007 in conjunction with the 18th European Conference on Machine Learning (ECML) in Warsaw, Poland.

ECML 2007 page:
AAIP Workshop page:

Inductive programming incorporates all approaches which are concerned with learning programs or algorithms from incomplete specifications such as, e.g., input/output examples describing the desired behavior of the intended program or traces describing steps of computation of specific outputs. Typical additional input to an IP system is background knowledge such as predefined functions and predicates to be used or schemas/templates defining the general data flow of the intended program. Output of an IP system is a program in some arbitrary programming language containing conditionals and loop- or recursive control structures.

In the workshop, we aim at bringing together researchers working on different approaches to inductive programming with the goal of discussing and evaluating the relative strengths and limitations of the different approaches (class of learnable programs, quality of learned programs, amount of background knowledge needed for synthesis, efficiency of synthesis, etc.). Furthermore, we are interested in presenting current applications and discussing possible further application domains.

The workshop will be interesting to anyone studying the synthesis of general programs. Topics of interest include but are not limited to

  • induction of recursive programs using techniques from inductive logic programming, evolutionary programming, synthesis of functional programs, or grammar inference,
  • theoretical analysis of learnability of recursive programs and of IP algorithms,
  • applications of inductive programming such as programming support for endusers, novice programmers, and routine programming, invention of new algorithms for optimization problems, policy learning, language learning, web-mining, data transformation.

Submissions are invited in four categories:

  • full papers (6-12 pages),
  • reports on work in progress (4-12 pages),
  • position papers,
  • abstracts for software demos (please provide a link to the demo or software).
All submissions will be peer reviewed by two referees. Accepted papers will be published in the workshop proceedings.

Submitted papers must be in English and should be formatted according to the Springer's LNCS (preferably LaTeX) guidelines. Authors instructions and style files can be downloaded at

To submit your paper, please use the electronic submission procedure.

Please indicate whether you wish to be included in the mailing list for the workshop where discussions on relevant open problems and possibilites for cooperation may take place before the workshop begins.

The deadline for submissions is June 30, 2007.

Further deadlines are:

July 21, 2007 Notification of workshop paper acceptance
July 28, 2007 Workshop camera ready copy submission
September 17, 2007 Workshop

More information about the workshop and the program committee can be found at the workshop webpage:

Welcome to the second workshop on AAIP covering all areas of program induction!

Emanuel Kitzelmann
Ute Schmid