LPAR 2001, 2nd CFP

[Robert Nieuwenhuis <roberto@lsi.upc.es>]

[Apologies for multiple copies] 

                              LPAR 2001
                   8th International Conference on
               LOGIC for PROGRAMMING, AI and REASONING
                         2nd CALL FOR PAPERS 

General Information: 

LPAR 2001 will be held in Havana, Cuba, December 3-7, 2001.  
In conjunction will take place the 2nd International Workshop on
Implementation of Logics.  Another workshop will be announced soon
(see http://www.lsi.upc.es/~roberto/lpar2001.html).

LPAR Topics:
                                    * logic in srtificial intelligence
* 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
* constraint programming            * knowledge representation &
reasoning
* logic and databases               * reasoning about actions
* logic & computational complexity  * description logics
* specification using logics        * nonmonotonic reasoning

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.

Programme Committee:
       
Franz Baader (RWTH Aachen)         Deepak Kapur (Univ. New Mexico)
Maurice Bruynooghe (C.Univ Leuven) Hans Kleine Buening (Univ. Paderborn)
Jan Van den Bussche (Limburg Univ) Maurizio Lenzerini (Univ. di Roma)
Thierry Coquand (Goteborg Univ.)   Giorgio Levi (Univ. Pisa)
Patrick Cousot (ENS Paris)         Fabio Massacci (Univ. Siena)
Nachum Dershowitz (Tel Aviv Univ.) Robert Nieuwenhuis (Barcelona),
co-chair
Javier Esparza (TU Munich)         Tobias Nipkow (TU Munich)
Alan Frisch (Univ. of York)        Mitsuhiro Okada (Keio University)
Harald Ganzinger (Max-Planck-Inst) Leszek Pacholski (Univ. of Wroclaw)
Georg Gottlob (TU Wien)            Frank Pfenning (Carnegie Mellon)
Jean Goubault (ENS Cachan)         Michel Parigot (Paris 7)
John Harrison (Intel)              Maarten de Rijke (Univ. of Amsterdam)
Neil Immerman (Massachusetts)      Natarajan Shankar (SRI International)
Neil Jones (DIKU Univ. Copenhagen) Wolfgang Thomas (RWTH Aachen)
Jean-Pierre Jouannaud (Paris-Sud)  Moshe Vardi (Rice University)
                                   Andrei Voronkov (Manchester),
co-chair

Organizing Committee:
    * Luciano Garcia (University of La Habana) 
    * Andrei Voronkov (University of Manchester) 

Important dates:      Submission:    July 15 
                      Notification:  September 25 
                      Final version: October 12 
                      Conference:    December 3-7 

Paper submission:
Submitted papers must be original and not submitted concurrently for
publication to a journal or to another conference.  The proceedings of
LPAR'2000 will be published by Springer-Verlag in the LNAI series and
available at the conference.  Submitted "theoretical" papers should
not be longer than 15 proceedings pages; "experimental" papers should
not be longer than 10 proceedings pages.  Instructions for submission
are on the LPAR web page: http://www.lsi.upc.es/~roberto/lpar2001.html.