[Prev][Next][Index][Thread]

PPDP'99

[Please post the LaTeX or Postscript versions available from 
the Conference page at http://www.dmi.ens.fr/PPDP99 ]

*************************************************************
    First Call for Papers and call for workshop proposals

     PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING 

           (PPDP'99, ex-PLILP/ALP Conference)

*************************************************************


              Call For Papers (Preliminary Announcement)
                     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
Deadline for Workshop Proposals: Jan 15, 1999
Conference Dates: Sept 29-Oct 1, 1999


Web Sites and EMail Contact
~~~~~~~~~~~~~~~~~~~~~~~~~~~
PPDP'99 Web Page: http://www.dmi.ens.fr/PPDP99/
PLI'99 Web Page:  http://pauillac.inria.fr/pli/
PPDP'99 email: ppdp99@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 and electronic submissions
appears at the web site for PPDP'99.  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.


Workshop Proposals
~~~~~~~~~~~~~~~~~~
Proposals are solicited for PPDP related workshops at
PLI'99. Proposals should be sent to ppdp99@cs.uchicago.edu by Jan 15,
1999. A detailed call for proposals may be found at the PPDP Web site.


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

PPDP'99 Program Chair:
  Gopalan Nadathur
  Department of Computer Science
  University of Chicago
  gopalan@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 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.