[- Apologies for multiple messages;
- Paper submission deadline is August 10th.
- PADL'02 proceedings will be published as Springer Verlag LNCS,
past proceedings can be found in LNCS 1551, 1753 and 1990.
FINAL CALL FOR PAPERS!!! FINAL CALL FOR PAPERS!!!
Fourth International Symposium on
Practical Aspects of Declarative Languages
Portland, Oregon, USA
Jan 19-20, 2002
Co-located with POPL 2002
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to vastly different real-world
situations, ranging from data base 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 raises numerous interesting research
issues. Well-known 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 current
and novel application areas and on the requirements for effective
deployment of declarative systems. We invite papers dealing with
practical applications of newly discovered results and techniques
in logic, constraint, and functional programming. Papers dealing
with practical applications of theoretical results, new techniques
of implementation with considerable impact on an application, or
innovative applications are particularly welcome. Position papers
as well as papers that present works in progress are also welcome.
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 Evaluation of implementation techniques
on practical applications
o Novel uses of declarative languages in the classroom
The papers should highlight the practical contribution of the work
and the relevance of declarative languages to achieve that end.
PADL 2002 will co-locate with ACM POPL 2002, in Portland, Oregon.
Previous PADLs were held in San Antonio (1999), Boston (2000), and
Las Vegas (2001).
o Paper Submission: Aug. 10, 2001
o Notification: Oct. 8, 2001
o Camera Ready: Nov. 5, 2001
o Symposium: Jan. 19-20, 2002
Paper Submission: Authors should submit an electronic copy of the
full paper (written in English) in Postscript (Level 2) or PDF.
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,
authors are strongly encouraged to use the LNCS paper formatting
guidelines for their submission. Each submission must include,
on its 1st 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 co-chairs for information on how to submit hard copies.
o Sergio Antoy, Portland State University, USA
o Gopal Gupta, UT Dallas (Organizer)
o Joxan Jaffar, National University of Singapore
o Fergus Henderson, University of Melbourne, Australia
o Shriram Krishnamurthi, Brown University, USA (Program Co-chair)
o Andrew Kennedy, Microsoft Research, UK
o Michael Leuschel, University of Southampton, UK
o Kim Marriott, Monash University, Australia
o John Peterson, Yale University, USA
o Andreas Podelski, MPI, Germany
o Enrico Pontelli, New Mexico State University, USA
o C.R. Ramakrishnan, SUNY, Stony Brook, USA (Program Co-chair)
o John Reppy, Bell Labs Lucent Technologies
o Manuel Serrano, Universit'e de Nice, France
o Olin Shivers, Georgia Tech, USA
o Paul Tarau, University of North Texas, USA
For more Information, please contact
Computer Science Department
SUNY at Stony Brook
Stony Brook, NY 11794-4400