[Apologies for multiple copies] LPAR 2001 8th International Conference on LOGIC for PROGRAMMING, AI and REASONING LAST 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'2001 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.