Back to top

13th International Workshop on Approaches and Applications of Inductive Programming, AAIP2023 @ IJCLR


AAIP 2023

13th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2023) will be held in Bari, Italy, 13-15 November 2023.

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.

Invited Speakers

Call for Papers

We invite theoretical and applied submissions, as well as reports of latest and ongoing research, on all areas related to Inductive Programming. 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.
  • Program synthesis with large language models.
  • Neurosymbolic approaches to inductive programming
  • Human-like rule learning.
  • Machine Teaching.
  • Explanation generation from IP-learned rule sets.
  • Comparing IP approaches with other rule-learning approaches.
  • Combining logic and functional program induction.
  • IP applications.
We solicit three types of submissions:
  1. Conference papers, describing original work with appropriate experimental evaluation and/or a self-contained theoretical contribution. Submitted conference papers should not have been published, or be under review for a journal, or another conference with published proceedings. Conference papers are limited  long papers, of up to 12 pages, including references. Accepted conference papers will be published by CEUR proceedings.
  2. Late-breaking abstracts, briefly outlining novel ideas and proposals that the authors would like to present at the conference. These could include e.g. original work in progress without conclusive experimental findings, or other relevant work, not yet ready for publication. Submissions of late-breaking abstracts will be accepted/rejected on the grounds of relevance. Accepted late-breaking abstracts will be published on the conference website. Late-breaking abstracts must not exceed 4 pages, including references.
  3. Recently published papers relevant to IP, these will be accepted/rejected on the grounds of relevance and quality of the original publication venue. For papers of this category a link to the original work will be published on the conference website. Authors should submit the abstract and the PDF file of the original submission, specifying in the abstract the original venue where the papar was accepted in addition to the acceptance date. Authors submitting a recently published paper should submit it through IJCLR’s “Recently Published Papers Track” option from the submission page.
All accepted papers will be assigned a presentation slot at the conference. Long conference papers will be assigned an extended slot, while short conference papers, late-breaking abstracts and recently published papers will be assigned a reduced slot.

Additionally, authors of accepted papers will have the opportunity to present their papers during the joint poster sessions. At least one of the authors of accepted papers/late-breaking abstracts must register for the conference and present their work.

Paper submission

Submissions will be handled by EasyChair. To submit a paper to ILP, authors are invited to follow the submission link and select the AAIP track.

Submissions must be in Springer LNCS format, according to the Springer LNCS author instructions. Already published papers should be submitted in their original format and the authors should indicate the original publication venue.

Publication

All accepted papers will be published by CEUR and are expected to be presented at the workshop.

Late Breaking abstracts will be published on the conference website. A link to recently published papers will be uploaded to the conference website.

Important dates

  • Abstract submission (long & short conference papers), 26th June 2023
  • Paper submission (long & short conference papers), 3rd July 2023
  • Author notification, 25th August 2023
  • AAIP Conference Camera-ready due, 8th September 2023
  • Late-breaking abstracts & already published papers submission, 8th September 2023
  • Author notification, 22nd September 2023
  • AAIP Conference, 13-15th November 2023
The deadline on each of these dates is midnight, Central European Summer Time (UTC + 2)

Organisers

Organizing Committee Chairs

Program Committee Members (Tentative)

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)
Fernando Martínez-Plumed , (Joint Research Centre, European Commission, Sevilla ES)
Stephen H. Muggleton , (Imperial College London, GB)
Alex Polozov , (Microsoft Corporation – Redmond, US)
Luc De Raedt , (KU Leuven, BE)
Rishabh Singh , (Microsoft Research – Redmond, US)
Armando Solar-Lezama , (MIT – Cambridge, US)
Gust Verbruggen , (Microsoft, US)

Past Conferences

AAIP 2023, Germany
AAIP 2022 @ IJCLR 2022, Cumberland Lodge, United Kingdom.
AAIP 2021, Germany
AAIP 2019, Germany
AAIP 2017, Germany
AAIP 2015, Germany
AAIP 2013, Germany
AAIP 2011, co-located with PPDP 2011 and LOPSTR 2011, Odense, Denmark
AAIP 2009, in Edinburgh, Scotland
AAIP 2007, at ICML 2007 in Warsaw, Poland
AAIP 2005, at ICML 2005 in Bonn, Germany