Back to top

10th International Workshop on Approaches and Applications of Inductive Programming, IP2020 @ IJCLR


The AAIP workshop series, started in 2005, is a bi-annual event aiming at promoting research in Inductive programming (IP), a field of machine learning concerned with learning executable programs in arbitrary programming languages, from incomplete specifications, typically input/output examples. IP approaches include Inductive Logic Programming (ILP) and Inductive Functional Programming and can be considered as highly expressive approaches to interpretable machine learning. IP is an important research direction for machine learning and artificial intelligence in general, since the general program synthesis task calls for approaches that go beyond the requirements of algorithms for concept learning, addressing learning (recursive) rules from experience. Pushing research forward in this area can give important insights in the nature and complexity of learning as well as enlarging the field of possible applications, which currently include software engineering, language learning, AI-planning, as well as cognitive aspects of learning.


Call for Papers


There are two options of submission:
  • Journal paper submisssions at MLJ's special track Learning & Reasoning. Submission dates: February 15 2020, April 15 2020 April 20 2020 (extended). Follow the link to the general open call above for details and submission instructions.
  • Workshop paper submissions. Submission deadline: May 29 2020.

IP2020 @ IJCLR invites theoretical and applied submissions, as well as reports of latest and ongoing research. Topics of interest include, but are not limited to:
  • Inductive methods for program synthesis.
  • End-user programming.
  • Example-driven programming.
  • Schema-guided program induction.
  • Probabilistic programming.
  • IP as surrogate models for deep learning.
  • Human-like rule learning.
  • Explanation generation from IP-learned rule sets.
  • Comparing IP approaches with other rule-learning approaches.
  • Combining logic and functional program induction.
  • IP applications.


Paper Submissions


Authors are invited to submit high-quality work at IJCLR’s journal track on Learning & Reasoning, supported by the Machine Learning Journal. Accepted papers will be presented to IJCLR 2020 and published at the Machine Learning Journal special issue on Learning & Reasoning. More details, including formatting and submission guidelines, may be found at the journal track’s CfP.

Reports of ongoing research should not exceed 8 pages (including figures, bibliography and appendices). All submitted papers will be judged based on their relevance, originality, significance, technical quality and organisation. All accepted papers will be published by CEUR and presented at the workshop. A selection of the accepted papers will be chosen for poster presentation.

Submissions will be handled by EasyChair. The submission web page is currently closed and will open no earlier than April 10 2020.


Invited Speakers


Armando Solar-Lezama, MIT, USA

Donato Malerba, University Bari, Italy


Organizing Committee Chairs


Ute Schmid

Cèsar Ferri Ramirez


Program Committee Members (Tentative)


Javier Segovia-Aguas, (Universitat Pompeu Fabra, Barcelona, Spain)

François Chollet (Google, Mountain View, CA)

Andrew Cropper (University of Oxford, GB)

Richard Evans (Google DeepMind – London, GB)

Johannes Fürnkranz (TU Darmstadt, DE)

José Hernández-Orallo (Technical University of Valencia, ES)

Susumu Katayama(University of Miyazaki, Japan)

Tomáš Kliegr (University of Economics – Prague, CZ)

Alex Polozov(Microsoft Corporation – Redmond, US)

Luc De Raedt (KU Leuven, BE)

Stephen H. Muggleton (Imperial College London, GB)

Rishabh Singh (Microsoft Research – Redmond, US)

Armando Solar-Lezama (MIT – Cambridge, US)

Ruzica Piskac (Yale University – New Haven, US)

Harald Ruess (fortiss GmbH – München, DE)


Previous Workshops


AAIP 2019 Dagstuhl Seminar 19202, Germany

AAIP 2017 Dagstuhl Seminar 17382, Germany

AAIP 2015 Dagstuhl Seminar 15442, Germany

AAIP 2013 Dagstuhl Seminar 13502, Germany

AAIP 2011 co-located with PPDP 2011 and LOPSTR 2011, Odense, Denmark

AAIP 2009 at ICFP 2009 in Edinburgh, Scotland

AAIP 2007 at ECML 2007 in Warsaw, Poland

AAIP 2005 at ICML 2005 in Bonn, Germany