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]

Following its slogan "To boldly go where no reasonable conference has gone before",[3] LPAR typically takes place in locations that are unusual or difficult to reach.

Overview of conference events

DateNo.NameAcr.LocationLNCSISBN
Sep14-1819901stRussian Conference on Logic ProgrammingRCLPIrkutsk, Russia592ISBN 3-540-55460-2
Sep11-1619912ndSt.Petersburg, Russia, on board the ship "Michail Lomonosov"
Jul15-2019923rdInternational Conference on Logic Programming and Automated ReasoningLPARSt.Petersburg, Russia, on board the ship "Michail Lomonosov"624ISBN 3-540-55727-X
Jul13-2019934thSt.Petersburg, Russia698ISBN 3-540-56944-8
Jul16-2219945thKiev, Ukraine, on board the ship "Marshal Koshevoi"822ISBN 3-540-58216-9
Sep06-1019996thInternational Conference on Logic for Programming and Automated ReasoningTbilisi, Georgia1705ISBN 3-540-66492-0
Nov11-1220007thReunion Island, France1955ISBN 3-540-41285-9
Dec03-0720018thInternational Conference on Logic for Programming, Artificial Intelligence, and ReasoningHavana, Cuba2250ISBN 3-540-42957-3
Oct14-1820029thTbilisi, Georgia2514ISBN 3-540-00010-0
Sep22-26200310thAlmaty, Kazakhstan2850ISBN 3-540-20101-7
Mar14-182005[4]11thMontevideo, Uruguay3452ISBN 3-540-25236-3
Dec02-06200512thMontego Bay, Jamaica3835ISBN 3-540-30553-X
Nov13-17200613thPhnom Penh, Cambodia4246ISBN 3-540-48281-4
Oct15-19200714thYerevan, Armenia4790ISBN 978-3-540-75560-9
Nov22-27200815thDoha, Qatar5330ISBN 978-3-540-89438-4
Apr25-30201016thDakar, Senegal6355ISBN 978-3-642-17510-7
Oct10-15201017thYogyakarta, Indonesia6397ISBN 978-3-642-16241-1
Mar10-15201218thMérida, Venezuela7180ISBN 978-3-642-28716-9
Dec10-15201319thStellenbosch, South Africa8312ISBN 978-3-642-45220-8
Nov24-28201520thSuva, Fiji9450ISBN 978-3-662-48899-7
May7-12201721stMaun, Botswana-ISSN 2398-7340 [1]
Nov16-21201822stAwassa, Ethiopia-ISSN 2398-7340 [2]
Jan12-13202123rdOnline due to COVID-ISSN 2398-7340 [3]
Jun4-9202324thManizales, Colombia-ISSN 2398-7340 [4]
May26-31202425thMauritius-ISSN 2398-7340 [5]

References

  1. ^ History section at LPAR Home page
  2. ^ LPAR Home page
  3. ^ "LPAR-24, Manizales Colombia, 4-9th June 2023". easychair.org. Retrieved 2023-08-28.
  4. ^ LPAR 2004 took place in 2005: "LPAR 2004". Archived 2022-01-16 at the Wayback Machine. Retrieved 2026-02-12.