Fwd: [SICStus] CFP: PADL'02; Submission Deadline Aug 10 - Cfp

12 Jun 2001


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