ACM SIGPLAN 2ND INTERNATIONAL CONFERENCE ON
PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2000) 

Preliminary Call for Papers 
  
Montreal, Canada
September 20-22, 2000 (part of PLI 2000)

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
(for more details see http://www.cs.yorku.ca/ppdp-00).

Submission.  Submissions in PostScript format should be sent to
ppdp-00@cs.cmu.edu to be received on or before March 1, 2000
(for more details see http://www.cs.yorku.ca/ppdp-00).

Program committee.  Samson Abramsky, Zena Ariola, Andrea Asperti,
Frank de Boer, Radhia Cousot, Danny De Schreye, Saumya Debray,
Thom Fruhwirth, Maurizio Gabbrielli (co-chair), Andrew Gordon, Doug Howe,
Claude Kirchner, Naoki Kobayashi, Michael Maher, Greg Morrisett,
Robert Nieuwenhuis, Christine Paulin, Frank Pfenning (co-chair),
Paul Tarau, German Vidal.