[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING,
ARTIFICIAL INTELLIGENCE AND REASONING
****************************************************************
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.
****************************************************************
Submission and publication
****************************************************************
The proceedings will be published by EasyChair Publications, in the EPiC Series
in Computing<https://easychair.org/publications/EPiC/Computing>. The volume
will be open access and the authors will retain copyright.
****************************************************************
Important Dates
****************************************************************
* Paper submission deadline: February 15, 2020
* Author notifications: April 8, 2020
* Final paper deadline: April 24, 2020
* Conference: May 22-27, 2020
***************************************************************
Program Committee Chairs
****************************************************************
* Elvira Albert,<http://costa.fdi.ucm.es/~elvira/> Complutense University
of Madrid
* Laura Kovacs<https://forsyte.at/people/kovacs/>, TU Wien
****************************************************************
Workshop Chair
****************************************************************
* Martin Suda<http://people.ciirc.cvut.cz/~sudamar2/>, Czech Institute of
Informatics, Robotics and Cybernetics
****************************************************************
Website
****************************************************************
https://easychair.org/smart-program/LPAR23/index.html
