Seventh International Symposium on
Practical Aspects of Declarative Languages

Long Beach, California
January 10-11, 2005

Co-located with ACM's Principles of Programming Languages, January 12-14, 2005

NEW LNCS Proceedings Online NEW

  Conference Description
  Provisional Program
  LNCS Proceedings NEW
  Hotel Information
  Accepted Papers
  Important Dates
  Program Committee
  Paper Award

Conference Description

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 05 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the first six PADL symposia (past proceedings can be found in Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057).

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

LNCS Proceedings

Information about the LNCS Proceedings is available online. Access to the online version is also possible.


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

Hotel Information

PADL is colocated with ACM POPL 2005. ACM has booked a block of rooms with the conference hotel for all the colocated events.

Please visit the ACM POPL Hotel reservation page and follow the directions.

Note that group name for getting the special rate with the hotel is ACM.

The deadline for getting the special negotiated room rate is December 21st, 2004.

Important Dates

Paper Submission: September 17, 2004
Notification: October 17, 2004
Camera-ready: November 10, 2004
Symposium: January 10-11, 2005

Submission Guidelines

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

All papers must be written in English and 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.

Program Committee

Kenichi Asai Ochanomizu University, Japan
Manuel Carro T.U. Madrid, Spain
Bart Demoen K.U. Leuven, Belgium
Robert Findler The University of Chicago, US
John Gallagher Roskilde University, Denmark
Hai-Feng Guo University of Nebraska at Omaha, US
Chris Hankin Imperial College London, UK
Joxan Jaffar National U. of Singapore, Singapore
Alan Mycroft Cambridge University, UK
Gopalan Nadathur U. of Minnesota, US
Lee Naish U. of Melbourne, Australia
Simon Peyton-JonesMicrosoft Research, US
John Reppy University of Chicago, US
Morten Rhiger Roskilde University, Denmark
Francesca Rossi University of Padova, Italy
Vitor Santos-Costa U, Federal do Rio de Janeiro, Brazil
Terrance Swift S.U. of New York at Stony Brook, US
David S. Warren S.U. of New York at Stony Brook, US

Most Practical Paper Award

A cash prize of US$500 will be made for the submission that is judged by the program 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, in which case the award money will be evenly divided.


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

Manuel Hermenegildo 1,2    <>, or
Daniel Cabeza 2    <>
1 Departments of Computer Science and Electrical and Computer Engineering
  The University of New Mexico, Albuquerque, NM 87131, U.S.A.
2 Facultad de Informatica, Universidad Politecnica de Madrid
  28660-Boadilla del Monte, Madrid, Spain

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

Gopal Gupta
General Chair - PADL 2005
Department of Computer Science
University at Texas at Dallas
Dallas, TX, U.S.A.

Organized in Cooperation with

COMPULOG of Americas ALP
COMPULOG Americas Association for Logic Programming