AAIP 2011 - 4th International Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)

Website | Edit Freely

Category AAIP 2011

Deadline: April 03, 2011 | Date: July 19, 2011

Venue/Country: Odense, Denmark

Updated: 2011-01-07 15:35:04 (GMT+9)

Call For Papers - CFP

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)

and the

International Symposium on Logic-Based Program Synthesis and Transformation

(LOPSTR 2011).

July 19, 2011, Odense, Denmark

http://www.cogsys.wiai.uni-bamberg.de/aaip11/

CALL FOR PAPERS

Inductive program synthesis or inductive programming (IP) is concerned with the

automated generation of general 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, inductive logic programming,

evolutionary computation, symbolic computation, grammar inference, and

functional 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 combination of generate-and-test based and

analytical techniques. 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 and

LOPSTR.

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 TALKS

TBA

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 post-proceedings volume and sent a

corresponding request to Springer LNCS.

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:

http://www.springer.de/comp/lncs/authors.html

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:

http://www.easychair.org/conferences/?conf=aaip2011

IMPORTANT DATES

April 3, 2011 Paper submission

May 16, 2011 Author notification

June 12, 2011 Camera-ready

July 19, 2011 Workshop

ORGANIZATION COMMITTEE

* Emanuel Kitzelmann, International Computer Science Institute, Berkeley, USA

* Ute Schmid, University of Bamberg, Germany

PROGRAM COMMITTEE

* 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 Jose Ramirez Quintana, Technical University of Valencia, Spain

CONTACT

aaip2011easychair.org

--

Dr. Emanuel Kitzelmann

International Computer Science Institute (ICSI)

1947 Center Street, Suite 600

Berkeley, CA 94704, USA

e-mail: emanuel AT icsi DOT berkeley DOT edu

phone: +1 510 666 2883