posted by user: sierrauy || 3725 views || tracked by 4 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Approaches and Applications of Inductive Programming
 
Link: http://www.cogsys.wiai.uni-bamberg.de/aaip11/
 
When Jul 19, 2011 - Jul 19, 2011
Where Odense, Denmark
Submission Deadline Apr 3, 2011
Notification Due May 16, 2011
Final Version Due Jun 12, 2011
Categories    automated program synthesis   computer-assisted software eng   end-user programming   intelligent agents
 

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/


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

AIMS AND SCOPE

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, formal
methods, 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

aaip2011@easychair.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

Related Resources

OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications
GENEA Workshop 2020   The First International Workshop on Generation and Evaluation of Non-verbal Behaviour for Embodied Agents
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
ICLP 2020   The 36th International Conference on Logic Programming
ITAS--EI Compendex, Scopus 2021   2021 Information Technology & Applications Symposium (ITAS 2021)--EI Compendex, Scopus
CP 2020   Twenty-Sixth Conference on Principles and Practice of Constraint Programming
ICPRAM 2021   10th International Conference on Pattern Recognition Applications and Methods
COMPLEX NETWORKS 2020   COMPLEX NETWORKS 2020 : The Ninth International Conference on Complex Networks and their Applications
IoTApp 2020   Applications of IoT Technologies
SI:ICPR-MVAP 2021   Special Issue on Selected Papers from 25th ICPR in Machine Vision and Applications