[plt-scheme] CFP: PADL'03

[ - 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 at 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