Subject: categories: CFP: LPAR'2000, Reunion Island, France

From: Andrei Voronkov <[email-masked]>
Date: Fri, 26 May 2000 18:15:01 +0100 (BST)

Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <[email-masked]>
Date: Fri, 26 May 2000 18:15:01 +0100 (BST)
To: [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked],
   [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked], [email-masked],
   [email-masked], [email-masked],
   [email-masked], [email-masked],
   uitp%dcs.gla.ac.uk.nqthm-users%cli.com.nuprllist%cs.[email-masked]
Subject: CFP: LPAR'2000, Reunion Island, France
X-Mailer: VM 6.71 under 21.1 (patch 7) "Biscayne" XEmacs Lucid

Subject: CFP: LPAR'2000, Reunion Island, France
X-Mailer: VM 6.71 under 21.1 (patch 7) "Biscayne" XEmacs Lucid

Sender: [email-masked]
X-Originating-IP: 130.233.193.43
Subject: CFP: LPAR'2000, Reunion Island, France

          [Apologies for receiving multiple copies ] 

			      LPAR'2000 

		   7th International Conference on
 
	    LOGIC for PROGRAMMING and AUTOMATED REASONING

		 Reunion Island, November 6-10, 2000

			   CALL FOR PAPERS 

       http://www.cs.man.ac.uk/~voronkov/LPAR/2000/general.html

Location:

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.

Topics:

* 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
[email-masked]. Title, abstract, and the list of authors
with their email addresses should be sent to the same address in a
separate message.

---------------------------------------------

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

  Michel Parigot <[email-masked]> and
  Andrei Voronkov <[email-masked]>

Important dates:

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

More information:

http://www.cs.man.ac.uk/~voronkov/LPAR/2000/general.html