---------- Forwarded Message ---------- Subject: [SICStus] CFP: PADL'02; Submission Deadline Aug 10 Date: Mon, 21 May 2001 16:22:58 -0500 From: Gopal Gupta gupta@utdallas.edu To: acclaim@sics.se, ai@uk.ac.qmw.dcs, aiia@di.unito.it, alp-list@intellektik.informatik.th-darmstadt.de, alp@doc.ic.ac.uk, amast@cs.utwente.nl, appiar@ncc.up.pt, atp@logic.tuwien.ac.at, atp_alias@cs.jcu.edu.au, benelog@cs.kuleuven.ac.be, cclp.x@parc.xerox.com, cl-adverts@spock.inf.tu-dresden.de, clp@cis.ohio-state.edu, clp@comp.nus.edu.sg, clp@cs.cmu.edu, compsci@uk.ac.aston.mail.demon.co.uk, compulog-deduction@cs.bham.ac.uk, compulog-list@cwi.nl, compulog@doc.imperial.ac.uk, compulognet-parimp@dia.fi.upm.es, compunode-exec@ecrc.de, compunode@compulog.org, compunode@dfki.de, compunode@ecrc.de, concurrency@cwi.nl, conferences@iao.fhg.de, cphc-conf@jiscmail.ac.uk, cs-logic@cs.indiana.edu, dappia@di.fct.unl.pt, dbworld@cs.wisc.edu, digest@uk.ac.ed.aiva.ed.ac.uk, dreamers@dai.ed.ac.uk, eacsl@dimi.uniud.it, EAPLS@jiscmail.ac.uk, eatcs-it@cs.unibo.it, erlang-questions@erlang.org, fg121@sunjessen46.informatik.tu-muenchen.de, fm-info@air16.larc.nasa.gov, formal-methods@cs.uidaho.edu,! gulp@di.unipi.it, icfp@dcs.gla.ac.uk, info-hol@jaguar.cs.byu.edu, isabelle-users@cl.cam.ac.uk, kgs@logic.tuwien.ac.at, lics@research.bell-labs.com, logic-announce@uclink4.berkeley.edu, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lprolog@central.cis.upenn.edu, mercury-users@cs.mu.oz.au, nl-kr@cs.rpi.edu, nqthm-users@cli.com, nuprllist@cs.cornell.edu, oz-users@dfki.uni-sb, parforce@ecrc.de, plt-scheme@fast.cs.utah.edu, POPX@vax.ox.ac.uk, prolia@tlxf.geomail.org, prolog-pe@bach.ces.cwru.edu, prolog-vendors@sics.se, pvs@csl.sri.com, quintus-users@quintus.com, rewriting@ens-lyon.fr, rrrs-authors@martigny.ai.mit.edu, scheme@mc.lcs.mit.edu, sepia_users@ecrc.de, seworld@cs.colorado.edu, sicstus-users@sics.se, softverf@jaguar.cs.byu.edu, theorem-provers@ai.mit.edu, theorynt@listserv.nodak.edu, types@cis.upenn.edu, x3j17@ai.sri.com
CALL FOR PAPERS!!! CALL FOR PAPERS!!! CALL FOR PAPERS!!!
Fourth International Symposium on Practical Aspects of Declarative Languages (PADL '02)
http://www.cs.sunysb.edu/~padl2002
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).
Important Dates:
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.
Program Committee (still being constituted).
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
C.R. Ramakrishnan Computer Science Department SUNY at Stony Brook Stony Brook, NY 11794-4400 USA email: cram@cs.sunysb.edu
-------------------------------------------------------