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. LPAR is an "A" ranked conference in the CORE ranking system; 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 24th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-24) will be held in Manizales, Colombia, at the Campus La Nubia of the National University of Colombia, 4-9th June 2023 (so, LPAR-24 will be in 2023 - don't get confused). 

Pre-Conference Dates 

Submission and Publication

Program Committee Chairs

• Ruzica Piskac (Yale University)

• Andrei Voronkov (The University of Manchester)

Conference Organization

• Geoff Sutcliffe (University of Miami) - Conference Chair

• Martin Bromberger (Max-Planck-Institut für Informatik) - Workshops and Tutorials Chair

• Fabián Fernando Serrano Suárez (Universidad Nacional, Manizales) - Local Arrangements

• David Fuenmayor (University of Bamberg) - Local Arrangements Liaison

• John Kolesar (Yale University) -& Web and Outreach Chair

Some Previous LPARs

• LPAR-23 (Online, COVID)

• LPAR-22 (Awassa, Ethiopia)

• LPAR-21 (Maun, Botswana)

• LPAR-20 (Suva, Fiji)

• LPAR-19 (Stellenbosch, South Africa)

• See the Wikipedia page for more history