International Conference on  Logic for  Programming  Artificial Intelligence and  ReasoningOur mission: To boldly go whereno reasonable conference
has gone beforeNext 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 committeeThe 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 historyLPAR 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 Log