[PRL] Fwd: CFP for Practical Aspects of Declarative Languages: 9th Symposium

[Matthias Felleisen]

fyi.

Begin forwarded message:

> From: Gopal Gupta <gupta at UTDALLAS.EDU>
> Date: August 2, 2006 11:35:20 AM EDT
> To: EAPLS at JISCMAIL.AC.UK
> Subject: CFP for Practical Aspects of Declarative Languages: 9th  
> Symposium
> Reply-To: Gopal Gupta <gupta at UTDALLAS.EDU>
>
> [Apologies for multiple copies]
>
> ======================================================================
>
>                            CALL FOR PAPERS
>
>                      Ninth International Symposium on
>              Practical Aspects of Declarative Languages 2007
> 		             (PADL '07)
>
>               http://www.informatik.uni-kiel.de/~mh/padl07
>
>                             Nice, France
>                         January 14-15, 2007
>
>                      Co-located with ACM POPL'07
>
> ======================================================================
>
> 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, web applications, 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 uses of declarative languages in the classroom; and
>  * practical experiences
>
> PADL 07 welcomes new ideas and approaches pertaining to applications
> and implementation of declarative languages, and is not limited to the
> scope of the past eight PADL symposia.
>
> PADL 07 will be co-located with the ACM POPL.
>
>
> ----------------------------------------------------------------------
> IMPORTANT DATES AND SUBMISSION GUIDELINES
>
> Abstract Submission:   August 30, 2006
> Paper Submission:      September 3, 2006 (strict)
> Notification:          October 2, 2006
> Final Manuscript:      October 22, 2006
> Symposium:             January 14-15, 2007
>
> All submissions must be original work written in English. Submissions
> must be unpublished and not submitted for publication elsewhere. Work
> that already appeared in unpublished or informally published workshops
> proceedings may be submitted.
>
> Authors should submit an electronic copy of the full paper (written in
> English) in Postscript (Level 2) or PDF via the web page of PADL 07.
> 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, submissions
> should adhere to the LNCS paper formatting guidelines.
>
> 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.
>
> ----------------------------------------------------------------------
> 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.
>
> ----------------------------------------------------------------------
> PROGRAM COMMITTEE
>
> Matthias Blume (Toyota Technological Institute at Chicago, USA)
> Manuel Chakravarty (University of New South Wales, Australia)
> Marc Feeley (University of Montreal, Canada)
> Hai-Feng Guo (University of Nebraska at Omaha, USA)
> Gopal Gupta (University of Texas at Dallas, USA)
> Michael Hanus (University of Kiel, Germany, Chair)
> Michael Leuschel (University of Duesseldorf, Germany)
> Simon Peyton Jones (Microsoft Research, Cambridge, UK)
> Enrico Pontelli (New Mexico State University, USA)
> German Puebla (Technical University of Madrid, Spain)
> Francesca Rossi (University of Padova, Italy)
> Michel Rueher (University of Nice, France)
> Christian Schulte (Royal Institute of Technology, Sweden)
> Zoltan Somogyi (University of Melbourne, Australia)
> Peter Stuckey (University of Melbourne, Australia)
> Doaitse Swierstra (Utrecht University, The Netherlands)
> Simon Thompson (University of Kent, UK)
> Pascal Van Hentenryck (Brown University, USA)
> German Vidal (Technical University of Valencia, Spain)
>
> ----------------------------------------------------------------------
> CONTACTS:
>
> For information about papers and submissions, please contact the  
> Program Chair:
>
>           Michael Hanus
>           PC Chair - PADL 2007
>           Institut fuer Informatik
>           University of Kiel
>           D-24098 Kiel, Germany
>           Email: mh at informatik.uni-kiel.de
>
> For other information about the conference, please contact:
>
>           Gopal Gupta
>           Department of Computer Science
>           University of Texas at Dallas
>           Dallas, TX, U.S.A.
>           Email: gupta at utdallas.edu
>
> Sponsored by: COMPULOG Americas (http://www.cs.nmsu.edu/~complog)
>
> ----------------------------------------------------------------------