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
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent mo ...
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".
The LPAR steering committee consists of Matthias Baaz, Chris Fermüller,
Geoff Sutcliffe, and
Andrei Voronkov
Andrei Anatolievič Voronkov (born 1959) is a Professor of Formal methods in the Department of Computer Science at the University of Manchester.
Education
Voronkov was educated at Novosibirsk State University, graduating with a PhD in 1987.
Res ...
(chair).
LPAR Home page
/ref>
Overview of conference events
References
External links
* — accounting for 1st to 15th conference (1990–1994, 1999–2008)
18th LPAR's home page (2012)
19th LPAR's home page (2013)
LPAR page
at DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Nove ...
Theoretical computer science conferences
Logic conferences
{{compu-conference-stub