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)
- LPAR-16 will be held in Dakar, Senegal, April 25-May 1, 2010.
- LPAR-17 will be held in Yogyakarta, Indonesia, October 10-15, 2010.
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:
- Matthias Baaz
- Chris Fermüller
- Geoff Sutcliffe
- 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