Subject: CFP: LPAR'2000, Reunion Island, France X-Mailer: VM 6.71 under 21.1 (patch 7) "Biscayne" XEmacs Lucid Sender: pmaenpaa@mappi.helsinki.fi 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 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. --------------------------------------------- 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 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