LPAR'2000: deadline extended

  [ deadline extended to June 7 ]


                   7th International Conference on

                 Reunion Island, November 6-10, 2000

                           CALL FOR PAPERS 



LPAR'2000 will be held November 6-10, 2000, on Reunion Island, a small
french island in the Indian Ocean, to the east of Madagascar. It will
be followed by a "Workshop on Implementations of Logic", November 11-12.


* automated reasoning               * lambda and combinatory calculi 
* interactive theorem proving       * constructive logic and type theory
* implementations of logic          * computional interpretations of logic
* design of logical frameworks      * logical foundations of programming
* program & system verification     * logical aspects of concurrency
* model checking                    * program extraction from proofs
* rewriting                         * linear logic
* logic programming                 * modal and temporal logics
* constraints programming           * knowledge representation & reasoning
* logic and databases               * reasoning about actions
* logic & computational complexity  * description logics
* specification using logics        * nonmonotonic reasoning

Invited speakers:

* BrunoCourcelle (Bordeaux-1 University)
* Georg Gottlob (Technische Universitaet Wien)
* Erich Graedel (RWTH Aachen)
* Michael Rusinowitch (LORIA-INRIA-Lorraine)

Programme Committee:

* Stefano Berardi, Torino        * Leonid Libkin, Bell Labs       
* Manfred Broy, Munich           * Patrick Lincoln, SRI    
* Maurice Bruynooghe, Leuven     * David McAllester, AT&T Labs
* Hubert Comon, Cachan           * Robert Nieuwenhuis, Barcelona
* Gilles Dowek, INRIA            * Mitsuhiro Okada, Tokyo
* Harald Ganzinger, MPI          * Catuscia Palamidessi, Penn State
* Mike Gordon, Cambridge         * Leszek Pacholski,  Wroclaw 
* Yuri Gurevich, Microsoft Res.  * Michel Parigot, Paris  (co-chair)
* Neil Jones, Copenhagen         * Frank Pfenning, Pittsburgh 
* Teodor Knapik, Reunion         * Helmut Schwichtenberg, Munich
* Yves Lafont, Marseille         * Jan Smith, Goteborg 
* Daniel Leivant, Bloomington    * Wolfgang Thomas, Aachen
* Maurizio Lenzerini, Roma       * Pascal van Hentenryck, Providence
* Giorgio Levi, Pisa             * Andrei Voronkov, Manchester (co-chair)

Organizing Committee:

* Teodor Knapik, University of Reunion
* Pascal Manoury, University of Paris VI
* Andrei Voronkov, University of Manchester

Submission of papers:

Submitted papers must be original and not submitted concurrently for
publication to a journal or to another conference. Submission by
members of the Program Committee is not allowed. The proceedings of
LPAR'2000 will be published by Springer-Verlag in the LNAI series and
available at the conference. 

Both "theoretical" papers and "experimental" papers are welcome. The
first category is intended to contain new theoretical results, the
second one to describe implementations of systems, to report experiments
with implemented systems, or to compare implemented systems.

Submitted "theoretical" papers should not be longer than 15
proceedings pages. Submitted "experimental" papers should not be
longer than 10 proceedings pages.

The proceedings of LPAR'2000 will be published by Springer-Verlag in
the LNAI series. 

Papers in the postscript or PDF format, preferably uuencoded and
zipped or gzipped, should be sent by email to
lpar00-submission@cs.man.ac.uk. Title, abstract, and the list of authors
with their email addresses should be sent to the same address in a
separate message.


Submission to:

All questions related to submission should be sent
to the program chairs:

  Michel Parigot <parigot@logique.jussieu.fr> and
  Andrei Voronkov <voronkov@cs.man.ac.uk>

Important dates:

Submission:         June 7
Notification:       July 15
Final version:      August 10
Conference:         November 6-10
Worskhop:           November 11-12

More information: