23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Website: https://easychair.org/smart-program/LPAR23/
Location: Alicante, Spain
Conference dates: May 22-27, 2020
Important dates:
Paper submission deadline: February 15, 2020
Author notifications: April 8, 2020
Final paper deadline: April 24, 2020
Conference: May 22-27, 2020