LPAR 2001

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

Proceedings

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.cu
Cuba internet
CubaWeb
IslaGrande

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:

Hotel Vedado. The best place and price in the nearby (four blocks distant). Single: $308.00; double: $228.00/person.
Hotel Habana Libre. Five star. The nearest one (two blocks distant). Single: $728.00; double: $508.00/person.
Hotel Nacional. Five star. The most beautiful: a Castle hotel. More distant (ten blocks). Single $833.00; double $603.00/person.

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

Visas

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

LPAR 2001

8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

8th International Conference on
Logic for
Programming,
Artificial Intelligence and
Reasoning