FOM: LPAR 2002 -- conference in Tbilisi,Georgia

[Stephen G Simpson]

 From: lpar2002 at cs.man.ac.uk
 Subject: LPAR 2002: submission deadline extended
 Date: Tue, 11 Jun 2002 19:57:55 +0100

 [The deadline for submissions has been extended to June 17]

 LPAR 2002
 October 14-18th, 2002, Tbilisi, Georgia

 http://rpc25.cs.man.ac.uk/lpar2002/

 9th International Conference on

   Logic for 
   Programming 
   Artificial Intelligence and
   Reasoning

 Followed by 3rd International Workshop on Implementation of Logics

 Topics

   automated reasoning 
   interactive theorem proving 
   implementations of logic 
   design of logical frameworks 
   program and system verification 
   model checking 
   rewriting 
   logic programming 
   constraint programming 
   logic and databases 
   proof-carrying code 
   logic and computational complexity 
   proof planning
   specification using logics 
   logic in artificial intelligence 
   lambda and combinatory calculi 
   constructive logic and type theory 
   computional interpretations of logic 
   logical foundations of programming 
   logical aspects of concurrency 
   program extraction from proofs 
   modal and temporal logics 
   knowledge representation and reasoning 
   reasoning about actions 
   description logics 
   nonmonotonic reasoning


 Paper submission

 Submitted papers must be original and not submitted concurrently for
 publication to a journal or to another conference. 

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

 Submitted "regular" papers should not be longer than 15
 proceedings pages. If proofs do not fit in 15 pages, add an appendix
 with proofs or refer to a full version of the article on the
 Web. Submitted "experimental" papers should not be longer than 10
 proceedings pages. 

 Papers should be submitted in the postscript format (plain postscript;
 no encoding please) through the submission page. 

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

 Proceedings

 The proceedings will be published by Springer-Verlag in the LNAI
 series and available at the conference. 

 Programme committee

   Elvira Albert (U. Politecnica de Valencia)
   Franz Baader (TU Dresden)
   Matthias Baaz (TU Vienna)
   Maurice Bruynooghe (Katholieke Universiteit Leuven)
   Patrick Cousot (ENS Paris)
   Maarten de Rijke (University of Amsterdam)
   Harald Ganzinger (Max-Planck Institute)
   Jean Goubault-Larrecq (ENS Cachan)
   Miki Hermann (Ecole Polytechnique)
   Mateja Jamnik (University of Cambridge)
   Neil D. Jones (University of Copenhagen)
   Deepak Kapur (University of New Mexico)
   Jan Krajicek (Charles University, Prague)
   Maurizio Lenzerini (Universita di Roma)
   Giorgio Levi (University of Pisa)
   Leonid Libkin (University of Toronto)
   Robert Nieuwenhuis (TU Catalonia)
   Leszek Pacholski (Wroclaw University)
   Michel Parigot (University of Paris 7)
   Pavel Pudlak (Mathematical Institute, Prague)
   Carsten Schürmann (Yale University)
   Jorg Siekmann (DFKI)
   Wolfgang Thomas (RWTH Aachen)
   Andrei Voronkov (University of Manchester)

 Important dates

   Submission: June 17
   Notification: July 15
   Final version: August 10
   Conference: October 14-18
   Workshop: October 19
 --------------------------------------------------------------------------