CFP PPDP 2000

[Franck van Breugel]

			   Call For Papers

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

	       Montreal, Canada, September 20-22, 2000

                   http://www.cs.yorku.ca/ppdp-00 
                Submission deadline: March 1, 2000

Program Co-Chairs:
Maurizio Gabbrielli (University of Udine, Italy) gabbri@REDACTED
Frank Pfenning (Carnegie Mellon University, Pittsburgh, USA) fp@REDACTED

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 Fruhwirth  (LMU Munich, Germany) 
Andrew Gordon (Microsoft Research, UK) 
Doug Howe (Bell Labs, USA)
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)
German Vidal (University of Valencia, Spain) 

Invited Speakers:
Francois Fages (INRIA, France)
George Necula (University of California, Berkeley, USA)
Prakash Panangaden (McGill University, Canada)

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.

Paper Submissions: 
Submissions must be received on or before March 1, 2000. Papers must 
describe original, previously unpublished work that has not been 
simultaneously submitted for publication elsewhere.  They must be 
written in English, must contain a clearly delineated part intended 
for the proceedings not exceeding 15 pages and 11 pt font, or 12 pages 
and 9 pt (ACM conference format) and must have a cover page with an 
abstract of up to 200 words, keywords, postal and electronic mailing 
addresses, and phone and fax numbers of the corresponding author.  
Additional material for possible consideration by reviewers may be 
included in the form of appendices. 

All submissions are to be electronic unless specifically approved by 
the Program Co-Chairs. Submissions in PostScript format should be 
sent to 

ppdp-00@REDACTED

Authors will be notified of acceptance decisions by May 15, 2000. 
Camera-ready copies of the accepted papers must be received by 
June 15, 2000.

Publication: 
The proceedings will be published by ACM Press. 

Conference Venue and Related Events: 
PPDP 2000 is part of a federation of colloquia known as Principles, 
Logics and Implementations of high-level programming languages 
(PLI 2000) which includes the ACM-SIGPLAN International Conference on 
Functional Programming (ICFP 2000).  The overall event will run from 
September 18 to September 23, 2000 and will be held in Montreal, Canada. 
Details about the affiliated conferences and workshops will appear at 
the URL http://www.cs.yorku.ca/pli-00

Sponsorship:
PPDP 2000 is sponsored by ACM-SIGPLAN with support of with the support 
of ALP, COMPULOG AMERICAS and EATCS.

Topics:
Logic and Constraint Programming
Functional Programming
Object-Oriented Programming
Concurrent Programming
Mobile Computing
Specification Languages and Methods
Type and Module Systems
Program Logics and Verification
Program Analysis and Transformation
Abstract Machines and Compilation Methods
Parallel and Distributed Implementations
Programming Environments

Important dates:
Submission deadline: March 1, 2000 
Notification: May 15, 2000 
Final Version: June 15, 2000 
Conference: September 20-22, 2000

Conference Chair:
Franck van Breugel (York University, Toronto, Canada) franck@REDACTED

Web Site and Email Contact:
URL: http://www.cs.yorku.ca/ppdp-00 
email: ppdp-00@REDACTED 
email for submissions: ppdp-00@REDACTED