<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;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="color: rgb(0, 0, 0); font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt;"> </span><br>
</div>
<div>
<div dir="ltr">
<div>
<div>
<div dir="ltr">
<div dir="ltr">
<div class="x_x_gmail_quote">
<div dir="ltr">
<div>
<div dir="ltr">
<div>
<div dir="ltr">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:12pt; color:rgb(0,0,0)">
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; text-align:center; margin:0px">
<font size="4" color="#000000"><font style="font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif">36th
Italian Conference on </span></font><span style="font-family:"Times New Roman",Times,serif">Computational Logic (CILC)</span></font></p>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<font size="4"><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<font size="4"><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"> </span><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif; color:navy"><span style="margin:0px; color:rgb(34,34,34)"><a href="https://www.ailab.unipr.it/cilc21" originalsrc="https://www.ailab.unipr.it/cilc21" shash="oEFpj7gKSgZtznuKWffPA2pb+upwL5w6Z7ke1HY6MAT1TS4WVuNynMcIYtT2SQthmoW7/mxbXwsUh3gXgr3O9xUGrHbXVmiCKqW4iM+ko55wDkLWAxR8DDCqCLVczcILCFhkroW4dlY47qIVugEBzdBl6sAfoG+cNQcyfOP1E8A=" target="_blank" title="https://www.ailab.unipr.it/cilc21"><font size="4">www.ailab.unipr.it/cilc21</font></a></span></span></p>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<font size="4"><br>
</font></p>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><font size="4" color="#000000"><span style="margin:0px">Call</span> <span style="margin:0px">for</span> <span style="margin:0px">Paper</span>s</font></span></p>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<font size="4"><b><span style="margin:0px; border:1pt none windowtext; color:rgb(34,34,34)"><span style="margin:0px; font-family:"Times New Roman",Times,serif; color:black"> </span></span></b><span style="margin:0px; font-family:"Times New Roman",Times,serif"> </span></font></p>
<p align="center" style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; text-align:center; margin:0px">
<font size="4"><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><b><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif">Aims and Scope</span></b><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif; color:rgb(34,34,34)"><font size="4"><span style="margin:0px; color:black"></span></font></span></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<span style="font-family:"times new roman",serif; font-size:large">The Italian Conference on Computational Logic (CILC) is the annual conference organized by the
</span><a href="https://www.programmazionelogica.it" originalsrc="http://www.programmazionelogica.it/" shash="eEqs565rYRNrtO09USSVN05PKF9aaFLlXA3daTtuatsozt55zXJuweaYsjpKIC6B87ZScKyvDc19qqVbCiSQ3dwlQ7IwPfJuUhXM+NLmwgnu72pEWwRFAjURN752AQGPlYvB8hDu6WPerX6WX+4ACczdj6id4myIKxwUiLEImm8=" target="_blank" style="font-family:"times new roman",serif; font-size:large" title="https://www.programmazionelogica.it">Group
of researchers and Users of Logic Programming</a><span style="font-family:"times new roman",serif; font-size:large"> (GULP).</span><br>
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
<font face="times new roman, serif" size="4"><br>
<font color="#000000">Since its first edition, which was held in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers, and developers working in the field of computational logic to meet and exchange ideas. Over the
years, the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas, such as artificial intelligence and deductive databases.<br>
<br>
</font></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
<font size="4"><font face="times new roman, serif" color="#000000">The 36th edition will be held in Parma (Italy) from September 7th to September 9th, 2021. </font></font><span style="color:rgb(0,0,0); font-family:"times new roman",serif; font-size:large">Due
to the COVID-19 pandemic, online participation to the conference will be guaranteed.</span></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><br>
</font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4" color="#000000"><b><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif">Topics of Interest</span></b><span style="margin:0px; font-family:Arial"></span></font></p>
<font size="4" color="#000000"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><font size="4" color="#000000"><span style="margin:0px"></span></font></span></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
<font face="times new roman, serif" size="4" color="#000000">The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic. The conference invites two types
of submissions:</font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
</p>
<ul>
<li><font face="times new roman, serif" size="4" color="#000000"><i>Full papers</i>, possibly already submitted to other conferences or journals, and
</font></li><li><font face="times new roman, serif" size="4" color="#000000"><i>Short papers</i>, which are particularly suitable to present work in progress, software prototypes, extended abstracts of doctoral theses, and general overviews of research projects.</font></li></ul>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
</p>
<ul>
</ul>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4" color="#000000"><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px">Topics of interest</span><span style="margin:0px"> include, but are not limited to:</span></span><span style="margin:0px; font-family:Arial"></span></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
</p>
<ul>
<li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Abductive Logic Programming</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Analysis, transformation, validation, and verification of programs</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Answer Set Programming</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Applications of Computational Logic</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Approximate Reasoning</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Automated Theorem Proving</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Computational Logic and formal methods in Artificial Intelligence</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Computational Logic for concurrency, coordination, mobility, and objects</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Data Mining and Data Integration</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Deductive Databases</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Extensions and integrations of declarative programming paradigms</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Inductive Logic Programming</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Knowledge representation and extraction</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Logic Programming, Constraint Programming, and other paradigms of declarative programming</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Logics for strategic reasoning</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Model Checking</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Model-Based Reasoning</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Multi-Agent Systems</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Natural Language Processing</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Non-Monotonic Reasoning</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Pedagogy of Computational Logic</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Planning and scheduling</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Probabilistic Logic Programming</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Semantic Web</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Temporal logics</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Tools and environments for program development</font></span></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><span style="margin:0px"><font size="4" color="#000000">Treatment of uncertain and incomplete knowledge</font></span></span></li></ul>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<font size="4" color="#000000"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin:0px">
</p>
<ul>
</ul>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4" color="#000000"><b><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif">Organizing Committee</span></b><span style="margin:0px; font-family:Arial"></span></font></p>
<font size="4" color="#000000"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
</p>
<ul>
<li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><font size="4" color="#000000"><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><font size="4" color="#000000">Stefania
Monica, University of Modena and Reggio Emilia</font></span><br>
</font></span></li><li><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif"><font size="4" color="#000000">Federico Bergenti, University of Parma<br>
</font></span></li></ul>
<div><span style="border-width: 1pt; border-style: none; border-color: windowtext; font-family: "times new roman", times, serif; font-size: 13.5pt; color: rgb(0, 0, 0); background-color: rgba(0, 0, 0, 0);"><b style="">Contributions</b></span><br>
</div>
<font size="4"><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span><span style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black"></span></font>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
<font size="4"><font face="times new roman, serif">The conference welcomes research contributions to solicit discussions and brainstorming about relevant aspects related to Computational Logic. Accepted original contributions will be included in a volume of
the CEUR Workshop Proceedings. <span style="font-size:large; background-color:rgb(255,255,255); display:inline">Accepted<span> n</span></span>on-original contributions will be given visibility on the conference Web site including a link to the original publication,
if available.<br>
<br>
<span style="font-size:large; background-color:rgb(255,255,255); display:inline">Contributions<span> </span></span>must not exceed 15 pages for full papers and 8 pages for short papers.
<span style="font-size:large; background-color:rgb(255,255,255); display:inline">
Contributions<span> </span></span>must be formatted using the <a href="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" originalsrc="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" shash="DMqkgNPLWymlHYZwLzvmhRDfEQlW/WeeKhtOH787asFnEQ1xb5sXo4JNznAjt5IzUKYTZDH8sDAXTgJp7NneZ8Aa36R2FQTEbUI/UISnybkUuCTWH5Q+A+0hW9KFSphv7Y7HBUKjGIkB359Lq/wLS1HWbZ7OuYm/eaZOHo0YtZM=" target="_blank" title="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines">
Springer LNCS style</a>. All contributions must be written in English.<br>
<br>
<span style="font-size:large; background-color:rgb(255,255,255); display:inline">Contributions<span> </span></span>can be submitted in PDF format at</font></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
<font size="4"><font face="times new roman, serif"><br>
</font></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; text-align:center; color:black; margin:0px">
<font size="4"><font face="times new roman, serif"><a href="https://easychair.org/conferences/?conf=cilc20210" originalsrc="https://easychair.org/conferences/?conf=cilc20210" shash="lmvY1t8+R23mpqkNpLCN/zZeB508S/yVIi3C6QlWewcpvxz1GEFkB7Rpv/rDtR2m/MJuzx0XoUcuBchv3Kndq9FFNZF2bQf3VTYibN0HdLe4IIz+br4QjD1lhRezZCKmQ8zfS0Hzyoqe/S/beDfllxmMjcK4WMPh2mvQCAAmB34=" id="x_x_gmail-m_5508160562528768005m_-7120561400426197892m_-4812680766210067500LPlnk502448" target="_blank" title="https://easychair.org/conferences/?conf=cilc20210">https://easychair.org/conferences/?conf=cilc20210</a><br>
</font></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
<br>
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
<font size="4"><font face="times new roman, serif">At least one author for each accepted contribution </font><span style="font-family:"times new roman",serif">is required to register to the conference and to present the paper. The event is organized by GULP
and, therefore, Italian attendants are required to be members of GULP.</span></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
<font size="4"><span style="font-family:"times new roman",serif"><br>
</span></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; margin:0px">
<font size="4"><span style="font-family:"times new roman",serif"><b>Journal Special Issue</b></span></font></p>
<div style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black">
<span style="font-family:"times new roman",serif; font-size:13.5pt; color:rgb(0,0,0); background-color:rgba(0,0,0,0)">In the trail of the CILC tradition, a selection of papers is planned to be published in a special issue of an international journal (to be
determined). Extensions of accepted non-original contributions, if not yet published in a journal, might be included in the issue.</span><br>
</div>
<div style="margin:0px; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; color:black">
<br>
</div>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><b><span style="margin:0px; border:1pt none windowtext; font-family:"Times New Roman",Times,serif; color:rgb(34,34,34)">Important Dates</span></b><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
</p>
<ul>
<li><font size="4"><span style="margin:0px; color:rgb(34,34,34)"><span style="margin:0px; font-family:"Times New Roman",Times,serif"><span style="margin:0px">Paper</span> submission:
</span><span style="margin:0px; font-family:"Times New Roman",Times,serif"><b>June</b></span></span><b style="color:rgb(34,34,34); font-family:"Times New Roman",Times,serif"> 30th, 2021</b></font></li><li>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><span style="margin:0px; font-family:"Times New Roman",Times,serif; color:rgb(34,34,34)">Notification of acceptance:
<b>July 28th, 2021</b></span><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
</li><li>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<span style="margin:0px; font-family:"Times New Roman",Times,serif; color:rgb(34,34,34)"><font size="4">Camera ready:
<b>August 25th, 2021</b></font></span></p>
</li><li>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><span style="margin:0px; font-family:"Times New Roman",Times,serif; color:rgb(34,34,34)">Conference:
</span><span style="margin:0px; font-family:"Times New Roman",Times,serif; color:rgb(34,34,34)"><b>September 7th-9th, 2021</b></span></font></p>
</li></ul>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; margin-top:0px; margin-bottom:0px">
</p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
<font size="4"><span style="margin:0px; font-family:Arial; color:rgb(34,34,34)"></span></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin-top:0px; margin-bottom:0px">
<font size="4"><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span><span style="margin:0px; font-family:"Times New Roman",Times,serif"></span></font></p>
<p style="margin-top: 0px; margin-bottom: 0px;margin-top:0px; margin-bottom:0px; color:black; font-family:Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols; margin:0px">
</p>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
</div>
</div>
</div>
</div>
</body>
</html>