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 6th March 2023
Paper submission 18th March 2023
Workshop submission 31st March 2023
Workshop notification 15th April 2023
Paper notification 1st May 2023
Paper final version 15th May 2023
Short paper submisison 19th May 2023
Short paper notification 21st May 2023
Early registration 26th May 2023
Short paper final version 26th May 2023
Standard registration 2nd June 2023
Late registration 9th June 2023

 LPAR is grateful for support from the National University of Colombia.

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)

Thanks to Natalia & Luisa from Campus, for their local knowledge.

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