[Hol-info] CADE-29 CALL FOR PARTICIPATION

== CADE-29 CALL FOR PARTICIPATION == The 29th International Conference on Automated Deduction Rome, Italy 1 July - 6 July 2023 https://easyconferences.eu/cade2023/ CADE-29 is co-located with the 8th International Conference on Formal Struct

[Hol-info] LPAR-24 in 2023, Manizales Colombia, Registration is Open

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 a