Logic for Programming, Artificial Intelligence and Reasoning

The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.

It grew out of the Russian Conferences on Logic Programming 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. The conference was renamed in 1992 to "Logic Programming and Automated Reasoning" (LPAR) to reflect its extended scope, due to considerable interest in automated reasoning in the Former Soviet Union. After a break from 1995 to 1998, LPAR continued in 1999 under the name "Logic for Programming and Automated Reasoning", to indicate an extension of its logic part beyond logic programming. In 2001, the name changed to "Logic for Programming, Artificial Intelligence and Reasoning".[1]

The LPAR steering committee consists of Matthias Baaz, Chris Fermüller, Geoff Sutcliffe, and Andrei Voronkov (chair).[2]

Overview of conference events

Date No. Name Acr. Location LNCS ISBN
Sep14-18,1990 1stRussian Conference on Logic ProgrammingRCLPIrkutsk, Russia 5923-540-55460-2
Sep11-16,1991 2ndSt.Petersburg, Russia, on board the ship "Michail Lomonosov"
Jul15-20,1992 3rdInternational Conference on Logic Programming and Automated ReasoningLPARSt.Petersburg, Russia, on board the ship "Michail Lomonosov" 6243-540-55727-X
Jul13-20,1993 4thSt.Petersburg, Russia 6983-540-56944-8
Jul16-22,1994 5thKiev, Ukraine, on board the ship "Marshal Koshevoi" 8223-540-58216-9
Sep06-10,1999 6thInternational Conference on Logic for Programming and Automated ReasoningTbilisi, Georgia17053-540-66492-0
Nov11-12,2000 7thReunion Island, France19553-540-41285-9
Dec03-07,2001 8thInternational Conference on Logic for Programming, Artificial Intelligence, and ReasoningHavana, Cuba22503-540-42957-3
Oct14-18,2002 9thTbilisi, Georgia25143-540-00010-0
Sep22-26,200310thAlmaty, Kazakhstan28503-540-20101-7
Mar14-18,200411thMontevideo, Uruguay34523-540-25236-3
Dec02-06,200512thMontego Bay, Jamaica38353-540-30553-X
Nov13-17,200613thPhnom Penh, Cambodia42463-540-48281-4
Oct15-19,200714thYerevan, Armenia4790978-3-540-75560-9
Nov22-27,200815thDoha, Qatar5330978-3-540-89438-4
Apr25-30,201016thDakar, Senegal6355978-3-642-17510-7
Oct10-15,201017thYogyakarta, Indonesia6397978-3-642-16241-1
Mar10-15,201218thMérida, Venezuela7180978-3-642-28716-9
Dec10-15,201319thStellenbosch, South Africa8312978-3-642-45220-8

External links

References


This article is issued from Wikipedia - version of the Thursday, June 11, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.