6th International Conference on
Logic for Programming and
Automated Reasoning


       Quick links:

    General information
    Invited speakers
    Programme committee
    Organizing committee
    Submission of articles
    History of LPAR
    Important dates

General information

LPAR'99 will be held in Tbilisi, Republic of Georgia, September 6-10, 1999, followed by the Third Tbilisi Symposium on Logic, Language and Computation.

If you want to learn more about Georgia, my two very favorite Web pages describing Georgia from a Western viewpoint are made by Leslie McClure. He visited Georgia, wrote a very nice description of his travel and made a lot of photographs. You can find some organizing committee members on these photographs! Here is one page, if you cannot access it, try the other.


Invited speakers

Matthias Baaz (Vienna University of Technology)
Yuri Gurevich (Microsoft Research)
Daniel Leivant (Indiana University)

Programme Committee

Arnon Avron (Tel-Aviv University)
Leo Bachmair (SUNY at Stony Brook)
Franz Baader (RWTH Aachen)
Howard Barringer (University of Manchester)
Manfred Broy (Munich University of Technology)
Maurice Bruynooghe (Catholic University of Leuven)
Alan Bundy (University of Edinburgh)
Harald Ganzinger (Max-Planck Institut für Informatik), co-chair
Jürgen Giesl (Darmstadt University of Technology)
Georg Gottlob (Vienna University of Technology)
Ryuzo Hasegawa (Kyushu University)
Neil Jones (DIKU University of Copenhagen)
Jean-Pierre Jouannaud (CNRS)
Maurizio Lenzerini (Università di Roma "La Sapienza")
Giorgio Levi (Pisa University)
Leonid Libkin (Bell Laboratories)
Patrick Lincoln (SRI International)
Yuri Matiyasevich (Steklov Institite of Mathematics, St.Petersburg)
David McAllester (AT&T Labs Research), co-chair
Robert Nieuwenhuis (Technical University of Catalonia)
Catuscia Palamidessi (Pennsylvania State University)
Frank Pfenning (Carnegie Mellon University)
Vladimir Sazonov (Program Systems Institute, Pereslavl-Zalesski)
Helmut Schwichtenberg (Lüdwig-Maximilian University, Munich)
Andrzej Tarlecki (Warsaw University)
Yoshihito Toyama (Japan Advanced Institute of Science and Technology)
Moshe Vardi (Rice University)
Andrei Voronkov (Uppsala University), co-chair
Michael Zakharyashev (Keldysh Institute of Applied Mathematics, Moscow)

Organizing Committee

Access to the Web and personal Web pages are rare in Georgia, but you can at least find photographs of some organizers.

Rusiko Asatiani (Tbilisi University)
Nani Chanishvili (Tbilisi University)
Gela Chankvetadze (Tbilisi University)
Georgi Chikoidze (Tbilisi University)
Temur Khurodze (Tbilisi University), chair
Temur Kutsia (Tbilisi University)
Khimuri Rukhaia (Tbilisi University)
Konstantin Pkhakadze (Tbilisi University)

Submission of articles

All submitted papers must be original and not submitted for publication elsewhere. The proceedings of LPAR'99 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.

Submissions 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. If the paper does not fit in 15 pages without proofs, submit it to a journal.

Authors are encouraged to use LaTeX2e and the Springer llncs class files. If you use this style, turn on page numbers using \pagestyle{plain}. Submit a uuencoded, compressed (using gzip or zip) postscript file to lpar99@csd.uu.se.

Submissions should be accompanied by an electronic abstract (pure ASCII) sent in a separate email. It should contain the title, list of authors and the asbtract. Here is an example abstract, based on a paper published in the proceedings of LPAR'93.


The proceedings will be published in the series Lecture Notes in Artificial Intelligence by Springer Verlag and available at the conference. The proceedings of the previous LPAR conferences have appeared as LNAI volumes 592, 624, 698 and 822.

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

For 5 years later, there have been no more conferences for two reasons. First, the ships have become too expensive. Second, there was a general idea to organize the conference in a place as interesting as a cruising ship. In 1998 Geoff Sutcliffe was very close to making the conference in Cape Town, but at the last moment it did not work out.

When Georgians proposed to organize the next conference conference in Tbilisi, I simply could not refuse, because Georgia is one of the best places in the world to visit. Due to the suggestion of Michel Parigot, the conference has changed the name again to extend its logic part beyond logic programming: "Logic for Programming and Automated Reasoning" (with the same acronym LPAR).

Important dates

Submission: April 30
Notification: June 15
Final version: July 15
Conference: September 6-10
LLC Symposium in Batumi: September 12-16


The picture of old Tbilisi used in this page is provided by courtesy of Tbilisi.com. Leslie McClure has kindly provided references to the pages about his travel to Georgia.