[Om-announce] LPAR-24 in 2023, Manizales Colombia, Registration is Open

[geoff at cs.miami.edu]

LPAR-24 in 2023: The 24th International Conference on 
Logic for Programming, Artificial Intelligence and Reasoning

https://easychair.org/smart-program/LPAR2023/

REGISTRATION is now OPEN!

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).