LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
Overview

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

Virtual Conference, January 12-13, 2021

 

Amid the current times, the plans to organize LPAR-23 and LPAR-24 in Tobago, January 2021 have been cancelled. 

LPAR-23 will however take place virtually, during January 12-13, 2021, using the EasyChair VCS virtual conference setting. 

 

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. 

 

Submission and publication

The LPAR-23 proceedings is published by EasyChair Publications, in the EPiC Series in Computing. The volume is open access and the authors retain copyright.

Important Dates

  • Abstract submission deadline: February 18, 2020
  • Paper submission deadline (extended): February 22, 2020
  • Author notifications: April 8, 2020
  • Final paper deadline: April 24, 2020
  • Main conference, held virtually: January 12-13, 2021

Program Committee Chairs

Workshop Chair

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

Sponsors

VCLA - Vienna Center for Logic and Algorithms