CFP:11th International Workshop on Approaches and Applications of Inductive Programming

[César Ferri]

 Call for Papers: 11th International Workshop on Approaches and Applications of Inductive Programming, AAIP @ IJCLR2022.

The workshop will be held within The 2nd International Joint Conference on Learning & Reasoning (IJCLR2022) in Cumberland Lodge, Windsor Great Park, United Kingdom, 28-30 September 2022.

https://dmip.webs.upv.es/AAIP2022/

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.

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.

• IP as surrogate models for deep learning.

• 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:

• 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 to 12 pages including references. Accepted conference papers will be published by CEUR proceedings.

• 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.

• 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.

Submissions will be handled by EasyChair. To submit a paper, 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.

Important dates

Deadline for paper submission: 15 June 2022
Notification of paper acceptance: 30 July 2022

Ute Schmid and Cèsar Ferri