[TYPES/announce] Last CFP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)

Emanuel Kitzelmann ekitzelmann at gmail.com
Fri Mar 25 04:13:59 EDT 2011


                LAST CALL FOR PAPERS

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

            July 19, 2011, Odense, Denmark

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


NEWS

 * Due date for paper submission approaching: April 3, 2011
 * Invited speaker announced: Ras Bodik, UC Berkeley, USA


AAIP 2011 is co-located with the
 * 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 Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)


AIMS AND SCOPE

Inductive program synthesis or inductive programming (IP) is concerned with the
automated generation of (parts 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. We especially
encourage submissions on relevant challenge problems and on real-world
applications of inductive programming in, e.g., computer-assisted software
development, 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 SPEAKER

Ras Bodik, University of California, 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:
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

aaip2011 at easychair.org


-- 
Dr. Emanuel Kitzelmann
International Computer Science Institute (ICSI)
1947 Center Street, Suite 600
Berkeley, CA 94704, USA

e-mail: emanuel at icsi.berkeley.edu
phone: +1 510 666 2883


More information about the Types-announce mailing list