<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none"><!--P{margin-top:0;margin-bottom:0;} p
{margin-top:0;
margin-bottom:0}--></style>
</head>
<body dir="ltr" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div id="divRplyFwdMsg" dir="ltr"></div>
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<div dir="ltr" style="font-size:12pt; color:#000000; background-color:#FFFFFF; font-family:Calibri,Arial,Helvetica,sans-serif">
<div>
<p>****************************************************************</p>
<p>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. </p>
<p> ****************************************************************</p>
<p>The 23rd LPAR will be held will be held in Alicante, Spain, 22-27 May, 2020.</p>
<p>****************************************************************</p>
<p><strong>Submission and publication</strong></p>
<p>****************************************************************</p>
<p>The proceedings will be published by EasyChair Publications, in the <a href="https://easychair.org/publications/EPiC/Computing">
EPiC Series in Computing</a>. The volume will be open access and the authors will retain copyright.</p>
<p>****************************************************************</p>
<p><strong>Important Dates</strong></p>
<p>****************************************************************</p>
<ul style="list-style-type:disc">
<li>Paper submission deadline: February 15, 2020</li><li>Author notifications: April 8, 2020</li><li>Final paper deadline: April 24, 2020</li><li>Conference: May 22-27, 2020</li></ul>
<p>***************************************************************</p>
<p><strong>Program Committee Chairs</strong></p>
<p>****************************************************************</p>
<ul style="list-style-type:disc">
<li><a href="http://costa.fdi.ucm.es/~elvira/">Elvira Albert,</a> Complutense University of Madrid</li><li><a href="https://forsyte.at/people/kovacs/">Laura Kovacs</a>, TU Wien</li></ul>
<p>****************************************************************</p>
<p><strong>Workshop Chair</strong></p>
<p>****************************************************************</p>
<ul style="list-style-type:disc">
<li><a href="http://people.ciirc.cvut.cz/~sudamar2/">Martin Suda</a>, Czech Institute of Informatics, Robotics and Cybernetics</li></ul>
<p>****************************************************************</p>
<p><strong>Website</strong></p>
<p>****************************************************************</p>
<p><a href="https://easychair.org/smart-program/LPAR23/index.html">https://easychair.org/smart-program/LPAR23/index.html</a>
</p>
<p> </p>
<p> </p>
<p><br>
</p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>