Logic for Programming, Artificial Intelligence and Reasoning

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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

[edit | edit source]
Date No. Name Acr. Location LNCS ISBN
Sep 14-18 1990 1st Russian Conference on Logic Programming RCLP Irkutsk, Russia 592 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Sep 11-16 1991 2nd St.Petersburg, Russia, on board the ship "Michail Lomonosov"
Jul 15-20 1992 3rd International Conference on Logic Programming and Automated Reasoning LPAR St.Petersburg, Russia, on board the ship "Michail Lomonosov" 624 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Jul 13-20 1993 4th St.Petersburg, Russia 698 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Jul 16-22 1994 5th Kiev, Ukraine, on board the ship "Marshal Koshevoi" 822 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Sep 06-10 1999 6th International Conference on Logic for Programming and Automated Reasoning Tbilisi, Georgia 1705 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Nov 11-12 2000 7th Reunion Island, France 1955 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Dec 03-07 2001 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning Havana, Cuba 2250 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Oct 14-18 2002 9th Tbilisi, Georgia 2514 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Sep 22-26 2003 10th Almaty, Kazakhstan 2850 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Mar 14-18 2004 11th Montevideo, Uruguay 3452 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Dec 02-06 2005 12th Montego Bay, Jamaica 3835 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Nov 13-17 2006 13th Phnom Penh, Cambodia 4246 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Oct 15-19 2007 14th Yerevan, Armenia 4790 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Nov 22-27 2008 15th Doha, Qatar 5330 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Apr 25-30 2010 16th Dakar, Senegal 6355 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Oct 10-15 2010 17th Yogyakarta, Indonesia 6397 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Mar 10-15 2012 18th Mérida, Venezuela 7180 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Dec 10-15 2013 19th Stellenbosch, South Africa 8312 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
Nov 24-28 2015 20th Suva, Fiji 9450 Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
May 7-12 2017 21st Maun, Botswana - Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). [1]
Nov 16-21 2018 22st Awassa, Ethiopia - Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). [2]
Jan 12-13 2021 23rd Online due to COVID - Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). [3]
Jun 4-9 2023 24th Manizales, Colombia - Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). [4]
May 26-31 2024 25th Mauritius - Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value). [5]

References

[edit | edit source]
  1. ^ History section at LPAR Home page
  2. ^ LPAR Home page
  3. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
[edit | edit source]

Lua error in Module:Authority_control at line 153: attempt to index field 'wikibase' (a nil value).


This article about a computer conference is a stub. You can help Wikipedia by expanding it.

Retrieved from "http://70.231.62.181/index.php?title=Logic_for_Programming,_Artificial_Intelligence_and_Reasoning&oldid=20953170"