The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aimed at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications. Papers from previous proceedings are listed in DBLP. LPAR's slogan is "To boldly go where no reasonable conference has gone before". LPAR brings first class research and researchers to interesting places, and exposes the conference attendees to interesting cultures. The 25th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-25) will be held at the Ravenala Attitude Hotel in Balaclava, Mauritius, 26-31 May 2024 (so, LPAR-25 will be in 2024 - don't get confused). (Picture credit: Starts, CC BY-SA 4.0, via Wikimedia Commons.)
Pre-Conference Dates
|
|
||||||||||||||||||||||||
Conference Event Dates
|
|
Submission and Publication
Program Committee Chairs
-
Nikolaj Bjorner (Microsoft Research)
-
Marijn Heule (Carnegie Mellon University)
-
Andrei Voronkov (The University of Manchester)
Conference Organization
-
Geoff Sutcliffe (University of Miami) - Conference Chair
-
Cezary Kaliszyk (University of Innsbruck) - Workshops and Tutorials Chair
-
Kim Guého - Local Arrangements
-
Hello Islands - Local Logistics
- Follow the conference on
