International Conference on
Logic for
Programming
Artificial Intelligence and
Reasoning

Our mission: To boldly go where
no reasonable conference
has gone before

Next LPAR(s)

What is LPAR?

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.

LPAR steering committee

The LPAR steering committee is formed by people who attended the largest number of LPARs and who are believed to be able to steer LPAR to the right places year after year:

  1. Matthias Baaz
  2. Chris Fermüller
  3. Geoff Sutcliffe
  4. Andrei Voronkov (chair, attended 15 LPARs)

Previous LPARs and a bit of history

LPAR grew out of the 1st and 2nd Russian Conferences on Logic Programming, held in 1990 and 1991. The idea to organize the conference was largely due to Robert Kowalski who proposed to create the 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). Under this name three conferences were held in 1992--1994.

In 1999 Georgians proposed to organize the next conference in Tbilisi. Due to a suggestion of Michel Parigot, the conference has changed its name again to extend its logic part beyond logic programming: "Logic for Programming and Automated Reasoning" (with the same acronym LPAR!). In 2001 the name (but not the acronym) has been changed again.

The (mirror) home pages of some of the previous LPAR's are available on this server:

RCLP'90: 1st Russian Conference on Logic Programming, Irkutsk, Russia, 1990
RCLP'91: 2nd Russian Conference on Logic Programming, St.Petersburg, Russia, on board the ship "Michail Lomonosov".
LPAR'92: 3rd International Conference on Logic Programming and Automated Reasoning, St.Petersburg, Russia, on board the ship "Michail Lomonosov".
LPAR'93: 4th International Conference on Logic Programming and Automated Reasoning, St.Petersburg, Russia,
LPAR'94: 5th International Conference on Logic Programming and Automated Reasoning, Kiev, Ukraine, on board the ship "Marshal Koshevoi".
LPAR'99: 6th International Conference on Logic for Programming and Automated Reasoning, Tbilisi, Georgia,
LPAR 2000: 7th International Conference on Logic for Programming and Automated Reasoning, Reunion Island, France.
LPAR 2001: 8th International Conference on Logic for Programming, Artifical Intelligence and Reasoning, Havana, Cuba.
LPAR 2002: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Tbilisi, Georgia.
LPAR 2003: 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Almaty, Kazakhstan.
LPAR 2004: 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning Montevideo, Uruguay
LPAR 2005: 12th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning Montego Bay, Jamaica
LPAR 2006: 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning Phnom Penh, Cambodia
LPAR 2007: 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning Yerevan, Armenia
LPAR 2008: 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning Doha, Qatar

Future LPARs

Proposals for future LPARs are solicited.

Less seriously

There are several definitions of LPAR:

LPAR is an acronym for Logic for Programming, Artificial intelligence and Reasoning.
LPAR is the string "(" representing the left parenthesis in some dialects of LISP.
LPAR is a series of conferences intended to bring Computer Science Logic to all parts of this large world.
LPAR is a shipological conference, as expressed by one of its participants in 1992, when LPAR was held on board a ship.

Add to this the following googlisms I have found especially appropriate:

LPAR is right for you
LPAR is a good thing
LPAR is a cool toy
LPAR is up and ready for us to begin testing
LPAR is fully year 2000 compliant
LPAR is the wave of today and tomorrow
LPAR is higher
LPAR is computing
LPAR is completely dynamic
LPAR is currently active
LPAR is again avalable
LPAR is still avalable
LPAR is is a valid solution to the situation