PPDP'99 Last Call for Papers

[Francois Fages]

[Apologies if you receive this message more than once]

                        Last Call For Papers
                     International Conference on
     Principles and Practice of Declarative Programming (PPDP'99)
             Paris, France, September 29-October 1, 1999


Important Dates
~~~~~~~~~~~~~~~
Submissions Deadline: March 1, 1999 
Notification of Acceptance: April 30, 1999
Final Versions Due: June 25, 1999
Conference Dates: Sept 29-Oct 1, 1999


Web Sites and EMail Contact
~~~~~~~~~~~~~~~~~~~~~~~~~~~
PPDP'99 Web Page: http://www.dmi.ens.fr/PPDP99/
PPDP'99 Submissions Page: http://www.cs.uchicago.edu/ppdp99/subm/
PLI'99 Web Page:  http://pauillac.inria.fr/pli/
PPDP'99 email: ppdp99 at cs.uchicago.edu


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'99 aims to stimulate research on the use of declarative methods
in programming and on the design, application and implementation of
programming languages that support such methods.  Topics of interest
include the use of type theory, logics and logical methods in
understanding, defining, integrating and extending programming
paradigms such as those for functional, logic, object-oriented,
constraint and concurrent programming; support for modularity; the use
of logics in the design of program development and analysis tools;
development of implementation methods; and the application of the
relevant paradigms and associated methods in industry and education.
This list is not exhaustive; new and interesting ideas relating
broadly to declarative programming will be treated receptively.  The
technical program of the conference will combine presentations of the
accepted papers with invited talks and advanced tutorials that attempt
to extend the reach of the pertinent research areas.


Paper Submissions
~~~~~~~~~~~~~~~~~
Submissions must be received on or before March 1, 1999. 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 demarcated part intended
for the proceedings not exceeding 16 pages in LNCS 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. However, submissions violating the page and format
restrictions on the material meant for the proceedings will not be
refereed. All submissions are to be electronic unless specifically
approved by the Program Chair. (Each submission will be acknowledged.)

Further information on the LNCS format can be obtained through the web
site for PPDP'99. Information on electronic submissions is present at
the submissions page for PPDP'99. Submissions may also be sent in by
mail using a special form. To obtain this form, send mail to 
ppdp-subm at cs.uchicago.edu with the subject line containing the words
``send form''. Note that, since papers have to be printed or viewed at
many different sites, submitted papers are required to conform to a
strict format: in particular, they must adhere *strictly* to the
standard PS-2 language.  

Authors will be notified of acceptance decisions by April 30, 1999. 
Final versions of the accepted papers must be received in camera-ready
form by June 25, 1999. 


Publication
~~~~~~~~~~~
The proceedings will be published by Springer-Verlag in the Lecture
Notes in Computer Science series.


Conference Venue and Related Events
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
PPDP'99 is part of a federation of colloquia known as Principles,
Logics and Implementations of high-level programming languages
(PLI'99). The overall event will run from September 27 to October 1,
1999 and will be held at La Maison de la Chimie, Paris. Details of the
affiliated conferences and workshops will appear at the Web site for
PLI'99 as they are determined.


Conference Organization
~~~~~~~~~~~~~~~~~~~~~~~
PPDP'99 Conference Chair:
  Francois Fages
  LIENS CNRS
  Ecole Normale Superieure, Paris
  fages at dmi.ens.fr

PPDP'99 Program Chair:
  Gopalan Nadathur
  Department of Computer Science
  University of Chicago
  gopalan at cs.uchicago.edu



Program Committee
~~~~~~~~~~~~~~~~~
Martin Abadi (Systems Research Center, Compaq, Palo Alto, USA)
Maria Alpuente (U. Politecnica de Valencia, Spain)
Mats Carlsson (SICS, Sweden)
Iliano Cervesato (Stanford University, USA)
Bart Demoen (Katholieke Universiteit Leuven, Belgium)
Sandro Etalle (Universiteit Maastricht, Netherlands)
Francois Fages (LIENS, France)
Manuel Hermenegildo (U. Politecnica de Madrid, Spain)
Patricia Hill (University of Leeds, UK)
Joxan Jaffar (National University of Singapore, Singapore)
Bharat Jayaraman (SUNY Buffalo, USA)
Xavier Leroy (INRIA, France)
Pierre Lescanne (ENS Lyon, France)
Eugenio Moggi (University of Genova, Italy)
Gopalan Nadathur (University of Chicago, USA)
Tobias Nipkow (Technische Universitaet Muenchen, Germany
Francesca Rossi (University of Padova, Italy)
Harald Sondergaard (U. Melbourne, Australia)
David S. Warren (SUNY Stony Brook, USA)
Nobuko Yoshida (University of Sussex, UK)


Sponsorship
~~~~~~~~~~~
PPDP'99 and PLI'99 are being sponsored by ACM (SIGPLAN), INRIA and
EAPLS and are receiving partial support from the EU. In addition,
PPDP'99 has been endorsed by the Association for Logic Programming.