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). _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info