Wednesday, January 15, 2020

[DMANET] Call for Papers: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-23): May 22-27, 2020, Alicante, Spain

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






**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************