[ - Paper submission deadline is July 31
  - BEST PAPER AWARD: A best paper award ($500) will be given to
         the paper judged most innovative and practical.
  - PADL'03 proceedings will be published as Springer Verlag LNCS,
         past proceedings can be found in LNCS 1551, 1753 and 1990, and 2257
]


                          CALL FOR PAPERS!!!

                    Fifth International Symposium on
             Practical Aspects of Declarative Languages 2003
                             (PADL '03)

           http://www.research.avayalabs.com/user/wadler/padl03/

                        New Orleans, Louisiana, USA
                             Jan 13-14, 2003
                      Co-located with POPL 2003

Nothing is so practical as a good theory. Declarative languages build
on sound theoretical bases to provide attractive frameworks for
application development. Declarative approaches to programming include
those based on logic, constraints, functions, and concurrency.
Declarative languages have been successfully applied to a wide variety
of real-world situations, ranging from database management to active
networks to software engineering to decision support systems. New
developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative
languages to novel problems raise research issues. Questions include
designing for scalability, language extensions for application
deployment, and programming environments. Thus, applications drive
the progress in the theory and implementation of declarative systems,
and benefit from this progress as well.

PADL provides a forum for researchers, practitioners, and implementors
of declarative languages to exchange ideas on application areas and
on the requirements for effective deployment of declarative systems.
We invite papers dealing with practical applications of logic,
constraint, functional, and concurrent programming. The scope of
PADL includes, but is not limited to:

    o Innovative applications of declarative languages
    o Declarative domain-specific languages and applications
    o New developments in declarative languages and their impact on applications
    o Practical experiences
    o Novel uses of declarative languages in the classroom
    o Evaluation of implementation techniques on practical applications
    o Application letters (Applets) - see below
    o Declarative pearls - see below

Papers should highlight the practical contribution of the work and
the relevance of declarative languages to achieve that end.

PADL 2003 will co-locate with ACM POPL 2003, in New Orleans.


Application Letters (Applets)

     Real-world users of declarative languages may be so fully occupied
     writing declarative programs that they lack the time to write a
     full paper describing their work. Conference attendees often hear
     only from those developing declarative languages --- the users
     are too busy using them. In order to attract greater participation
     from users, the conference solicits application letters describing
     experience using declarative languages to solve real-world problems.
     Such papers might be half the length of a full paper (though any
     length up to a full paper is fine), and may be judged by interest
     of the application and novel use of declarative languages as opposed
     to a crisp new research result.


Declarative Pearls

     Program committees traditionally expect a paper to make a contribution
     of a certain size. Ideas that are small, rounded, and glow with their
     own light may have a number of venues, but conferences are not
     typically among them.  (Among the outlets have been columns such as
     Bentley's Programming Pearls in Communications of the ACM, Rem's
     Small Programming Exercises in Science of Computer Programming, and
     Barendregt's Theoretical Pearls and Bird's Functional Pearls in the
     Journal of Functional Programming.) The conference invites papers that
     develop a short declarative program. Such papers might be half the
     length of a full paper (though any length up to a full paper is fine),
     and may be judged by elegance of development and clarity of expression
     as opposed to a crisp new research result.


Most Practical Paper Award

     The paper deemed "most practical" by the programm committee will be awarded
     a cash prize of US$500. Criteria for judging include practicality, innovation,
     quality of the work, and clarity of presentation. All submitted papers will
     automatically be candidates for this award. The program committee may choose
     not to make an award; or may make multiple awards, in which case the award
     money will be equally divided.


Important Dates:

        o Paper Submission: Jul. 31, 2002
        o Notification: Oct. 2, 2002
        o Camera Ready: Nov. 6, 2002
        o Symposium: Jan. 13-14, 2003

Paper Submission:

     Authors should submit a 100-200 word abstract and a full paper,
     written in English. Submissions should be no more than 15 pages in
     standard Springer-Verlag LNCS format: 122mm x 193mm in 10 point
     font, Computer Modern Roman or similar. Submissions that do not meet
     these guidelines may not be considered. Style files for Latex and Word
     are provided by Springer-Verlag.  Papers should be submitted in
     PDF format, and be printable on both USLetter and A4 paper; details
     of web submission will be posted later. If this requirement is a
     hardship, please contact the program chairs.  Each submission should
     include, on its first page, the paper title; authors and their
     affiliations; contact author's email and postal addresses, telephone
     and fax numbers; and a 100-200 word abstract. The abstract will be
     used to assist us in selecting appropriate reviewers for the paper.
     Submitted papers should have content that has not previously been
     published in other conferences or refereed venues, and simultaneous
     submission to other conferences or refereed venues is unacceptable.
     Each paper should explain its contributions in both general and
     technical terms, clearly identifying what has been accomplished, saying
     why it is significant, and comparing it with previous work. Authors
     should strive to make the technical content of their papers
     understandable to a broad audience.

Program Committee:

    o Lennart Augustsson, Sandburst, USA
    o Phillipe Blache, CNRS & Universite de Provence, France
    o Veronica Dahl, Simon Fraser University, Canada (program co-chair)
    o Ines Dutra, Universidade Federal do Rio de Janeiro, Brazil
    o Kathleen Fisher, AT&T Labs, USA
    o Matthew Flatt, University of Utah, USA
    o Daniela Florescu, XQRL, USA
    o Juliana Freire, Bell Laboratories, USA
    o Matteo Frigo, Massachusetts Institute of Technology, USA
    o Terry Gaasterland, Argonne National Laboratory and University of Chicago, USA
    o Alejandro Garcia, Universidad Nacional del Sur, Argentina
    o Manuel Hermenegildo, Universidad Politecnica de Madrid, Spain
    o John Hughes, Goteborg University, Sweden
    o Neil Jones, University of Copenhagen, Denmark
    o Shriram Krishnamurthi, Brown University, USA
    o Naoki Kobayashi, Tokyo Institute of Technology, Japan
    o George Necula, University of California at Berkeley, USA
    o Luis Moniz Pereira, Universidade Nova de Lisboa, Portugal
    o Paul Tarau, BinNet Corporation and University of North Texas, USA
    o Philip Wadler, Avaya Labs, USA (program co-chair)
    o David S. Warren, State University of New York at Stony Brook, USA


For more Information, please contact

Philip Wadler Avaya Labs           [log in to unmask]
233 Mount Airy Road, room 2C05     http://www.research.avayalabs.com/user/wadler/
Basking Ridge, NJ 07920 USA        office: +1 908 696 5137 fax: +1 908 696 5402