Declarative languages build on sound theoretical foundations to provide attractive frameworks for application development. These languages have been successfully applied to a wide array of different real-world situations, including database management, active networks, software engineering, decision support systems, or music composition.

New developments in theory and implementation have opened up new application areas. At the same time, the application of declarative languages to novel problems raises numerous interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications often drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well.

PADL is a forum for researchers and practioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including, functional, logic, constraints, etc.

Topics of interest include:

• Innovative applications of declarative languages.
• Declarative domain-specific languages and applications.
• Practical applications of theoretical results.
• New language developments and their impact on applications.
• Evaluation of implementation techniques on practical applications.
• Novel implementation techniques relevant to applications.
• Novel uses of declarative languages in the classroom.
• Practical experiences.

PADL 06 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the first seven PADL symposia (past proceedings can be found in Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, 3057, and 3350).

In this occasion PADL is co-located, as traditionally, with ACM POPL, which will be held immediately following PADL, January 11-13.

For Registration Information please visit this page. Note that early registration deadline is December 15th, 2005.

The PADL Electronic Submission Website is the location where authors should submit their paper, in postscript level 2 format or PDF.

Authors should submit an electronic copy of the full paper (written in English) in Postscript (Level 2) or PDF. Papers must be no longer than 15 pages, written in 11-point font and with single spacing. Since the final proceedings will be published as Lecture Notes in Computer Science by Springer Verlag, authors are strongly encouraged to use the LNCS paper formatting guidelines for their submission.

Each submission must include on its first page the paper title; authors and their affiliations; contact author's email and postal addresses, telephone and fax numbers, abstract, and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. If electronic submission is impossible, please contact the program chair for information on how to submit hard copies.

Kenichi Asai	Ochanomizu University, Japan
Daniel Damian	LION Bioscience Ltd, UK
Mireille Ducasse	IRISA/INSA of Rennes, France
Matthew Flatt	University of Utah, US
Gopal Gupta	University at Texas at Dallas, US
Manuel Hermenegildo	UPMadrid, Spain
Paul Hudak	Yale University, US
Narendra Jussien	Ecole des Mines de Nantes, France
Laurent Michel	University of Connecticut, US
Enrico Pontelli	New Mexico State University
Gopalan Nadathur	U. of Minnesota, US
Vitor Santos-Costa	U, Federal do Rio de Janeiro, Brazil
Christian Schulte	Royal Institute of Technology, Sweden
Peter Stuckey	U. of Melbourne, Australia
Pascal Van Hentenryck	Brown University, US
Peter van Roy	U. of Louvain, Belgium
David S. Warren	S.U. of New York at Stony Brook, US
Roland Yap	National U. of Singapore, Singapore

Most Practical Paper Award

The Most Practical Paper award will be given to the submission that is judged by the programm committee to be the best in terms of practicality, originality, and clarity of presentation. The program committee may choose not to make an award; or may make multiple awards.

Contacts

For additional information about papers and submissions, please contact the Program Chairs:

Pascal Van Hentenryck
PC Chair - PADL 2006
Department of Computer Science
Brown University
Providence, RI, U.S.A.
Email: pvh@cs.brown.edu

For additional information about the conference please contact the General Chair:

Gopal Gupta
General Chair - PADL 2006
Department of Computer Science
University at Texas at Dallas
Dallas, TX, U.S.A.
Email: gupta@utdallas.edu

Sponsored by

COMPULOG Americas

PADL 2006 will be held in cooperation with ACM SIGPLAN.