CALL FOR PAPERS
4th International Workshop on
Approaches and Applications of Inductive Programming
(AAIP 2011)
co-located with
the International ACM SIGPLAN Symposium on Principles and
Practice of Declarative Programming (PPDP 2011),
the International Symposium on Logic-Based Program
Synthesis and Transformation (LOPSTR 2011), and
the International Workshop on Functional and (Constraint)
Logic Programming (WFLP 2011).
July 19, 2011, Odense, Denmark
http://www.cogsys.wiai.uni-bamberg.de/aaip11/
AIMS AND SCOPE
Inductive program synthesis or inductive programming (IP) is concerned with the automated generation of (pieces of) computer programs from incomplete specifications such as input/output examples. IP particularly includes the synthesis of programs that contain loops or recursive calls. This inductive type of automated program synthesis is addressed by researchers in different fields such as artificial intelligence, evolutionary computation, inductive inference, formal methods, functional programming, and inductive logic programming. The aim of the AAIP workshop is to have a common place to present and discuss research on all aspects of inductive programming – including, but not limited to: Inductive programming algorithms, techniques, and systems, heuristics, inductive biases, analysis of the learnability of particular program classes, and the integration of different techniques such as search in program spaces, analytical methods, and SAT solving. We especially encourage submissions on inductive programming challenge problems and real-world applications of inductive programming in, e.g., computer-assisted software engineering, end-user programming, and intelligent agents.
This is the fourth workshop on "Approaches and Applications of Inductive Programming" and takes place for the first time in conjunction with PPDP, LOPSTR, and WFLP.
We invite authors to submit papers reporting on original work in either of two categories: full technical papers and short papers. Full papers should present mature work. Short papers may be work in progress reports, descriptions of system demonstrations, or position statements.
INVITED SPEAKER
Ras Bodik, University of California in Berkeley, USA
PRESENTATION AND PUBLICATION INFORMATION
All accepted papers will be presented orally. Workshop (pre-)proceedings will be published online and as a technical report. Furthermore, we plan to publish selected and revised papers as a formal post-proceedings volume, most likely in the Springer LNCS series.
SUBMISSION GUIDELINES
Submitted papers must describe original work, be written in English and should be formatted in the Springer Lecture Notes in Computer Science style. Submissions can either be full papers describing mature work or short papers describing work in progress, a system demonstration, or make a position statement. Full and short papers should not exceed 16 and 8 pages, respectively, including bibliography and appendices. Papers should be submitted as PDF via the AAIP 2011 submission webpage.
IMPORTANT DATES
Submission and author notification dates have been extended.
| Paper submission | April 24, 2011 |
|---|---|
| Author notification (pre-proceedings) | May 23, 2011 |
| Camera-ready (pre-proceedings) | June 12, 2011 |
| Workshop | July 19, 2011 |
ORGANISATION COMMITTEE
- Emanuel Kitzelmann, International Computer Science Institute, Berkeley, USA
- Ute Schmid, University of Bamberg, Germany
PROGRAM COMMITTEE
to be completed
- Ricardo Aler Mur, Universidad Carlos III de Madrid,Spain
- Pierre Flener, Uppsala University, Sweden
- Lutz Hamel, University of Rhode Island, Kingston, USA
- Jose Hernandez-Orallo, Technical University of Valencia, Spain
- Martin Hofmann, SAP Research & Development, Germany
- Johan Jeuring, University of Utrecht, The Netherlands
- Susumu Katayama, University of Miyazaki, Japan
- Pieter Koopman, Radboud University Nijmegen, The Netherlands
- Maria José Ramírez Quintana, Technical University of Valencia, Spain