LPAR 2023: 24TH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
LPAR-24, Manizales Colombia, 4-9th June 2023

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 

Abstract submission TBA 2023
Paper submission 13 March 2023
Notification 1 May 2023
Final version 15 May 2023
Early registration TBA 2023
Conference 5-9th June 2023

 

Conference Event Dates 

Workshops 4th June 2023
Welcome Reception 4th June 2023 (evening)
Technical Sessions 5-6th June 2023
Conference Dinner 5th June 2023 (evening)
Excursion Day 7th June 2023
Technical Sessions 8-9th June 2023
Farewell Banquet 9th June 2023 (evening)
 

Submission and Publication

The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

Program Committee Chairs

Conference Organization

Some Previous LPARs