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

geoff at cs.miami.edu geoff at cs.miami.edu
Thu May 18 21:58:40 CEST 2023


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



More information about the Om-announce mailing list