PPDP 2002 - Call for papers --> March 21

                                        PPDP 2002 - Call for papers
                                  March 21, 2002 submission deadline
                                            http://ppdp2002.cs.brown.edu


                            Fourth International Conference on Principles
                                  and Practice of Declarative Programming


                                        6-8 October, Pittsburgh, USA
                        as part of PLI 2002 (http://pli2002.cs.brown.edu)




Invited speakers:
                Neil Jones (University of Copenhagen)
                Catuscia Palamidessi (The Pennsylvania State University)
                Janos Sztipanovits (Vanderbilt University )


Important dates
                    March 21, 2002 submission FIRM deadline
                    May 30, 2002 acceptance decisions
                    June 30, 2002 Camera-ready copies
                    October 6-8, 2002 Conference


Submission web site: http://ppdp-2002.loria.fr


Conference Chair: Frank Pfenning, CMU, USA
Program Chair: Claude Kirchner, LORIA and INRIA
                              615, rue du Jardin Botanique, BP 101
                              54602 Villers-lès-Nancy, France
                              Claude.Kirchner@loria.fr
Program Committee:
        Hassan Ait Kaci: ILOG, France
        Olivier Danvy: BRICS, University of Aarhus, Denmark
        Mariangiola Dezani: Universita di Torino, Italy
        Francois Fages: INRIA, France
        Fergus Henderson: The University of Melbourne, Australia
        Manuel Hermenegildo: University of Madrid, Spain
        Andrew Gordon: Microsoft Research, UK
        Amy Felty: University of Ottawa, Canada
        Claude Kirchner: LORIA & INRIA, France
        Paul Klint: CWI, The Netherlands
        Michael Maher: Griffith University, Australia and Loyola University Chicago, USA
        Dale Miller: The Pennsylvania State University, USA
        Roberto Nieuwenhuis: University of Barcelona, Spain
        Frank Pfenning: CMU, USA
        Francesca Rossi: University of Padova, Italy




Scope of the Conference


PPDP 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 logic, functional, constraint,
probabilistic, rule 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 and system descriptions with invited talks and
advanced tutorials. Previous PPDP meetings were held in Paris (1999),
Montreal (2000), Firenze (2001).




Topics of Interest


Logic and Constraint Programming; Rule 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; Applications of Declarative Programming;
Implementation Techniques; Logical and Semantical Aspects of
Declarative Programming; Declarative and probabilistic programming.




Paper Submissions


Submissions must be received on or before March 21, 2002 (this is a
HARD deadline) and must describe original, previously unpublished work
that has not been simultaneously submitted for publication elsewhere.
They must be written in English and, in case the work is accepted for
presentation and publication, one of the author must attend the
conference to present it. Submissions must contain a clearly
delineated part intended for the proceedings not exceeding 12 pages
and 9 pt (for a full description see the ACM conference format at
http://www.acm.org/sigplan/conferences/author-info) 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.


Submitted papers can be either: Regular papers that will be judged in
particular on originality, correctness and significance, or System
descriptions that will be judged in particular on usefulness and
design, originality of system design, implementation or
application. They must contain a link to a working system.


All submissions are to be electronic unless specifically approved by
the Program Chair. Submissions in PostScript or PDF formats should be
submitted via the conference management system as described on the web
site. Authors will be notified of acceptance decisions by May 30,
2002 Camera-ready copies of the accepted papers must be received by
June 30, 2002. Proceedings will be published by ACM Press. Authors of
accepted papers will be required to sign the ACM copyright form, which
will be made accessible from this site.




Conference Venue and Related Events


PPDP 2002 is part of a federation of colloquia known as Principles,
Logics and Implementations of high-level programming languages (PLI
2002) which includes the ACM SIGPLAN International Conference on
Functional Programming (ICFP 2002) and the first ACM SIGPLAN
Conference on Generators and Components (GCSE/SAIG'02) . The colloquia
and affiliated workshops will run from October 4 to October 8, 2002
and will be held in Pittsburgh, USA. Details about the affiliated
conferences and workshops will appear at the URL
http://pli2002.cs.brown.edu/.




Sponsorship


PPDP 2002 is sponsored by ACM SIGPLAN.
----------------------------------------------------------------

Return to the comp.compilers page.
Search the comp.compilers archives again.