[ - 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 wadler@avaya.com 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