2nd International Conference on Principles
and Practice of Declarative Programming
(PPDP 2000)

Montreal, Canada
September 20-22, 2000

associated with PLI 2000:
Colloquium on Principles, Logics, and Implementations of high-level programming languages

PPDP 2001

Scope of the Conference

PPDP represents the union of two former conferences: Programming Languages, Implementations, Logics and Programs (PLILP) and Algebraic and Logic Programming (ALP). Continuing the tradition of PLILP/ALP, PPDP 2000 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 related to 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.


Registration and Accommodation

Program Co-Chairs:

Maurizio Gabbrielli
University of Udine, Italy

Frank Pfenning
Carnegie Mellon University, Pittsburgh, USA

Conference Chair:

Franck van Breugel
York University, Canada

Program Committee:

Samson Abramsky, University of Edinburgh, UK
Zena Ariola, University of Oregon, USA
Andrea Asperti, University of Bologna, Italy
Frank de Boer, University of Utrecht, NL
Radhia Cousot, Ecole Polytechnique, France
Danny De Schreye, Catholic U. Leuven, Belgium
Saumya Debray, University of Arizona, USA
Thom Frühwirth, LMU Munich, Germany
Andrew Gordon, Microsoft Research, UK
Doug Howe, Carleton University, Canada
Claude Kirchner, LORIA & INRIA Nancy, France
Naoki Kobayashi, University of Tokyo, Japan
Michael Maher, Griffith University, Australia
Greg Morrisett, Cornell University, USA
Robert Nieuwenhuis, TU of Catalonia, Spain
Christine Paulin, LRI-University Paris Sud, France
Paul Tarau, University of North Texas, USA
Germán Vidal, University of Valencia, Spain

PPDP Webpage


PPDP 2000 is sponsored by
with support of
Microsoft-Research Canadian Space Agency
Canadian Space Agency
York University
Department of Computer Science
European Association for Programming Languages and Systems
Association for Logic Programming
Association for Logic Programming