LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning

DATE:Friday, May 22, 2020 – Wednesday, May 27, 2020
VENUE:Alicante, Spain

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and  their  applications  come  to present  cutting-edge  results,  to discuss  advances  in  these  fields,  and  to  exchange  ideas  in  a scientifically emerging part of the world.

The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May, 2020.

Invited Speakers

Workshops

IWIL – 14th International Workshop on the Implementation of Logics 

Abstract submission deadline: April 12th 2020

Submission and publication

The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

Program Committee Chairs

Workshop Chair

  • Martin Suda, Czech Institute of Informatics, Robotics and Cybernetics

Comments are closed.