LPAR 2001

8th International Conference on
Logic for
Artificial Intelligence and

December 3-7th, 2001, Havana, Cuba.

See also the 2nd International Workshop on Implementation of Logics

       Quick links:

    General information
    Invited speakers
    Programme committee
    Organizing committee
    Submission of papers
    Important dates
    About Cuba
    Travel Information
    Accommodation and conference site
    History of LPAR
    Home page of LPAR'99
    Home page of LPAR 2000
    The list of accepted papers
    Registration information

General information

LPAR 2001 will be held December 3-7th, 2001, in Havana (La Habana), Cuba.


  • 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
  • logic and computational complexity
  • 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
  • linear logic
  • modal and temporal logics
  • knowledge representation and reasoning
  • reasoning about actions
  • description logics
  • nonmonotonic reasoning

Invited speakers

Programme Committee

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

Organizing Committee

Luciano Garcia (University of La Habana)
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.

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. 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.

The proceedings of LPAR 2001 will be published by Springer-Verlag in the LNAI series. Authors of accepted papers will be requested to sign a form transfering copyright of their contribution to Springer-Verlag. Authors are encouraged to use LaTeX2e and the Springer llncs class files. If you use this style, turn on page numbers using \pagestyle{plain}.

Papers have to be submitted in postscript format (plain postscript; no encoding please) through the Submission Form . (CLOSED NOW)

All questions related to submission should be sent to the program chairs Robert Nieuwenhuis (roberto@lsi.upc.es) and Andrei Voronkov (voronkov@cs.man.ac.uk).


The proceedings will be published as volume 2250 in the series Lecture Notes in Artificial Intelligence by Springer Verlag and available at the conference. They can be references as R. Nieuwenhuis, A. Voronkov (eds), Proceedings LPAR 2001, volume 2250 of LNAI, ISBN 3-540-42957-3. The preface and table of contents are available as a postscript file. The proceedings of the previous LPAR conferences have appeared as LNAI volumes 592, 624, 698, 822, 1705, and 1955.

Important dates

Submission: July 15
Notification: September 18
Final version: October 2
Conference: December 3-7

About Cuba

There are a number of very well maintained Cuban websites:

Univ. of Havana
Cuba internet

Travelling to Cuba

Information for US citizens: From the department of state travel information about Cuba one gets to the Office of Foreign Assets Control . If you check "General License - Travel to Cuba for Professional Research", you can see that regulations from May 13, 1999 authorize travel "for professional meetings or conferences" by a general (that is, automatic) license, i.e, "without the need for further authorization". Note that LPAR fulfils all requirements: non-commercial, academic,` full work schedule, public dissemination, organized by international professional non-US institution, does not fall under any category of forbidden activities. Note: If you worry about the safety and security information about Cuba in these Consular Information Sheets, just compare it with the crime information about, e.g., Paris in France in the same Sheets ;-).

Accomodation, conference site, and registration

The conference will take place at the University of Havana (see a map of the campus, MSWord format or postscript)). The registration desk will be open from 8am on December 3rd.

For the moment, the following arrangements for accomodation have been made by the local organizers. All prices are for 7 nights/8 days, and also include breakfast, transportation from and to the airport, and tour of La Habana:

Reservations can be made through travel agencies (see the Cuban webpages), or through Universidad de La Habana by e-mail: eventos@rect.uh.cu.


It is recommmended that everybody coming not from the USA apply for a tourist visa. Those coming from the USA should contact Prof. Luciano Garcia at luciano@matcom.uh.cu who will then ask the representatives at the "Oficina de Intereses de la Republica de Cuba en Washington" to issue them academic visas.

History of LPAR

LPAR grew out of the 1st and 2nd Russian Conferences on Logic Programming, held in Irkutsk, 1990 and St.Petersburg, 1991 on board the ship "Michail Lomonosov". The idea to organize the conference was largely due to Robert Kowalski who proposed to create Russian Association for Logic Programming.

In 1992 it has been decided to extend the scope of the conference. Due to considerable interest in automated reasoning in the Former Soviet Union, the conference was renamed to "Logic Programming and Automated Reasoning" (LPAR). Three more conferences were held in 1992 on board the ship "Michail Lomonosov", in 1993 in St.Petersburg, and in 1994 in Kiev, Ukraine, on board the ship "Marshal Koshevoi". They contributed to maintain and develop research in Automated Reasoning in these countries.

For 5 years later, there were no more conferences because of the difficulties of organizing conferences in Former Soviet Union at that time. In 1998 Geoff Sutcliffe was very close to putting on the conference in Cape Town, but at the last moment it did not work out.

LPAR was reactivated in 1999, thanks to Georgians, who organized it in Tbilisi. Following the suggestion of Michel Parigot, last year the conference changed its name again to extend its logic part beyond logic programming: "Logic for Programming and Automated Reasoning" and this year we changed again, to "Logic for Programming, Artificial Intelligence and Reasoning" (always with the same acronym LPAR).

This is the second time that the conference will be held not in a part of the former Soviet Union. The first time was last year, on Reunion Island (France).