<div dir="ltr">39th Italian Conference on Computational Logic (CILC 2024)<br><br><a href="https://urldefense.com/v3/__https://cilc2024.github.io/__;!!IBzWLUs!V-5ObWwbTqezcldQFDj1jgoYa1Ct7UQRO-8bKWdrtiXNB8k_lnZXgQdInwvE9pEE9Efb7AcOiWzP1sSn21PyV_hiRHrb5F5uTves2HekVcdB$">https://cilc2024.github.io/</a><br><br>Consiglio Nazionale delle Ricerche<br>Rome, Italy, June 26-28, 2024<br><br>The Italian Conference on Computational Logic (CILC) is the annual meeting of the Italian Association for Logic Programming (GULP - Gruppo Ricercatori e Utenti Logic Programming, <a href="https://urldefense.com/v3/__https://www.programmazionelogica.it/__;!!IBzWLUs!V-5ObWwbTqezcldQFDj1jgoYa1Ct7UQRO-8bKWdrtiXNB8k_lnZXgQdInwvE9pEE9Efb7AcOiWzP1sSn21PyV_hiRHrb5F5uTves2F4_eLmb$">https://www.programmazionelogica.it/</a>).<br><br>* IMPORTANT DATES *<br>Paper Submission: 12 April 2024<br>Notification: 22 May 2024<br>Final Version: 15 June 2024<br>Conference: 26-28 June 2024<br><br>The Conference will feature presentations of invited speakers and contributed papers concerning all aspects of computational logic.<br><br>* LIST OF TOPICS *<br>- Abductive Logic Programming<br>- Analysis, transformation, validation and verification of programs<br>- Answer Set Programming<br>- Applications of Computational Logic and systems<br>- Approximate Reasoning<br>- Automated Theorem Proving<br>- Computational Argumentation<br>- Computational Logic and formal methods in Artificial Intelligence<br>- Computational Logic for concurrency, coordination, mobility, agents and objects<br>- Data mining and Data integration<br>- Deductive databases<br>- Extensions and integrations of declarative programming paradigms<br>- Implementations and benchmarking of Computational Logic systems<br>- Inductive Logic Programming<br>- Knowledge representation and extraction<br>- Logic programming, constraint programming and other declarative programming paradigms<br>- Model-based Reasoning<br>- Model Checking<br>- Multi-agent systems<br>- Natural language processing<br>- Non-Monotonic Reasoning<br>- Planning and scheduling<br>- Probabilistic Logic Programming<br>- Semantic web<br>- Temporal logics<br>- Tools and environments for program development<br>- Treatment of uncertain or incomplete knowledge<br><br>* SUBMISSION GUIDELINES *<br>The Conference solicits two types of submissions:<br>- Full papers, possibly already published in journals or in proceedings of other conferences, and<br>- Short papers, which are particularly suitable to present work in progress, software prototypes, extended abstracts of doctoral theses, and general overviews of research projects.<br>Contributions must be written in English, formatted using the CEURART style (with the one-column option, <a href="https://urldefense.com/v3/__https://ceur-ws.org/HOWTOSUBMIT.html*CEURART__;Iw!!IBzWLUs!V-5ObWwbTqezcldQFDj1jgoYa1Ct7UQRO-8bKWdrtiXNB8k_lnZXgQdInwvE9pEE9Efb7AcOiWzP1sSn21PyV_hiRHrb5F5uTves2GljCvl8$">https://ceur-ws.org/HOWTOSUBMIT.html#CEURART</a>), and submitted in PDF format.<br>See CEUR author instructions for further details on how to prepare your submission.<br>Full papers cannot exceed 15 pages including references. Short papers cannot exceed 8 pages including references. Additional pages may be used for appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them.<br>Non-original contributions should include a reference to the already published version of the paper (for instance in a footnote on the first page).<br>Papers must be submitted via Easychair: <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=cilc2024__;!!IBzWLUs!V-5ObWwbTqezcldQFDj1jgoYa1Ct7UQRO-8bKWdrtiXNB8k_lnZXgQdInwvE9pEE9Efb7AcOiWzP1sSn21PyV_hiRHrb5F5uTves2MiVc2ak$">https://easychair.org/conferences/?conf=cilc2024</a><br><br>* PUBLICATION *<br>Accepted original contributions will be included in a volume of the CEUR Workshop Proceedings.<br>Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if available.<br>For each paper accepted, at least one of the authors is required to make a senior registration (details will be available soon on the web site).<br>Following the CILC tradition, a selection of papers is planned to be published in a special issue of an international journal (to be determined).<br>Extensions of accepted non-original contributions, if not yet published in a journal, can be considered for inclusion in the special issue.<br><br>* CONTACT *<br>All questions about submissions should be emailed to Emanuele De Angelis (<a href="mailto:emanuele.deangelis@iasi.cnr.it">emanuele.deangelis@iasi.cnr.it</a>) and Maurizio Proietti (<a href="mailto:maurizio.proietti@iasi.cnr.it">maurizio.proietti@iasi.cnr.it</a>).<br></div>