[Prev][Next][Index][Thread]
PPDP 2001: Call for Papers
-
To: amast@cs.utwente.nl, benelog@cs.kuleuven.ac.be, caml-list@pauillac.inria.fr, ccp@sics.se, clean-list@cs.kun.nl, clp@comp.nus.edu.sg, compunode@dfki.de, concurrency@cwi.nl, constraints-list@cwi.nl, cs-logic@cs.indiana.edu, csl@dbai.tuwien.ac.at, curry@informatik.rwth-aachen.de, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, eclipse_users_moderated@ecrc.de, ecoop-info@ecoop.org, erlang-questions@erlang.org, formal-methods@cs.unidaho.edu, gulp@di.unipi.it, haskell@haskell.org, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, lprolog@cs.umn.edu, mercury-users@cs.mu.OZ.AU, mlnet@swi.psy.uva.nl, practical-applications@pap.com, prog-logique@irisa.fr, prolog-vendors@sics.se, rewriting@ens-lyon.fr, sicstus-users@sics.se, types@cis.upenn.edu, users@mozart-oz.org
-
Subject: PPDP 2001: Call for Papers
-
From: Harald Sondergaard <harald@cs.mu.OZ.AU>
-
Date: Tue, 12 Dec 2000 00:13:58 +1100
-
cc: ppdp01@cs.mu.OZ.AU
Third International Conference on
PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
Firenze, Italy, 5-7 September 2001
CALL FOR PAPERS
PPDP 2001 aims to stimulate research on the use of declarative methods
in programming and on the design, implementation and application of
programming languages that support such methods. Topics of interest
include any aspect related to understanding, integrating and extending
programming paradigms such as those for functional, logic, constraint
and object-oriented programming; concurrent extensions and mobile
computing; type theory; support for modularity; use of logical methods
in the design of program development tools; program analysis and
verification; abstract interpretation; development of implementation
methods; application of the relevant paradigms and associated methods
in industry and education. This list is not exhaustive: submissions
describing new and interesting ideas relating broadly to declarative
programming are encouraged. The technical program of the conference
will combine presentations of the accepted papers with invited talks
and advanced tutorials.
PPDP 2001 is part of a federation of colloquia known as Principles,
Logics and Implementations of high-level programming languages
(PLI 2001) which includes the ACM SIGPLAN International Conference on
Functional Programming (ICFP 2001). The colloquia will run from 2 to
8 September, 2001. The venue for the conference is Firenze (Florence),
one of Europe's most attractive cities, famous for its churches,
galleries and museums.
For more details, see the conference web site.
Important Dates:
Submission 15 March 2001
Notification 7 May 2001
Final Version 11 June 2001
Affiliated Workshops:
Proposals are being solicited for PLI 2001 affiliated workshops.
Details about the submission of proposals are available at
http://music.dsi.unifi.it/pli01/wkshops.
Web Sites and Email Contact:
PPDP 2001: http://music.dsi.unifi.it/pli01/ppdp
PLI 2001: http://music.dsi.unifi.it/pli01
mailto:ppdp01@cs.mu.oz.au
Conference Chair:
Rocco De Nicola, Universita di Firenze
http://www.dsi.unifi.it/~denicola/
mailto:denicola@dsi.unifi.it
Program Chair:
Harald Sondergaard, The University of Melbourne
http://www.cs.mu.oz.au/~harald/
mailto:harald@cs.mu.oz.au
Program Committee:
Maria Alpuente, Univ. Politecnica de Valencia, ES
Yves Caseau, Bouygues, FR
Michael Codish, Ben-Gurion Univ. of the Negev, IL
Saumya Debray, Univ. of Arizona, US
Conal Elliott, Microsoft Research, US
Sandro Etalle, Univ. Maastricht, NL
Roberto Giacobazzi, Univ. di Verona, IT
Michael Leuschel, Univ. of Southampton, GB
John Lloyd, Australian National Univ., AU
Torben Mogensen, Kobenhavns Univ., DK
Alan Mycroft, Cambridge Univ., GB
Gopalan Nadathur, Univ. of Minnesota, US
Martin Odersky, Ecole Polyt. Fed. Lausanne, CH
Catuscia Palamidessi, Penn State Univ., US
Andreas Podelski, Max-Planck-Inst. Informatik, DE
Kostis Sagonas, Uppsala Univ., SE
Christian Schulte, Univ. des Saarlandes, DE
Michael Schwartzbach, Aarhus Univ., DK
Harald Sondergaard, Univ. of Melbourne, AU
Peter J. Stuckey, Univ. of Melbourne, AU