[TYPES/announce] DEADLINE EXTENSION (26 April 2024) - CILC 2024: 39th Italian Conference on Computational Logic

Maurizio Proietti maurizio.proietti at iasi.cnr.it
Tue Apr 9 07:16:47 EDT 2024


39th Italian Conference on Computational Logic (CILC 2024)

https://urldefense.com/v3/__https://cilc2024.github.io/__;!!IBzWLUs!X18CuNp6doT2lT7McgCTpvKmg8Vc0ur64O2qnZa4d8V1KYIBufICtBLV0JgwEKlZ7SxN1fVe2xcs426Wocdjkxyspp_eN0_DT2lBfYZ-2AFs$ 

Consiglio Nazionale delle Ricerche
Rome, Italy, June 26-28, 2024

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, https://urldefense.com/v3/__https://www.programmazionelogica.it/__;!!IBzWLUs!X18CuNp6doT2lT7McgCTpvKmg8Vc0ur64O2qnZa4d8V1KYIBufICtBLV0JgwEKlZ7SxN1fVe2xcs426Wocdjkxyspp_eN0_DT2lBfY7Fkkcr$ ).

* IMPORTANT DATES *
*** Paper Submission: 26 April 2024 ***
Notification: 22 May 2024
Final Version: 15 June 2024
Conference: 26-28 June 2024

The Conference will feature presentations of invited speakers and
contributed papers concerning all aspects of computational logic.

* LIST OF TOPICS *
- Abductive Logic Programming
- Analysis, transformation, validation and verification of programs
- Answer Set Programming
- Applications of Computational Logic and systems
- Approximate Reasoning
- Automated Theorem Proving
- Computational Argumentation
- Computational Logic and formal methods in Artificial Intelligence
- Computational Logic for concurrency, coordination, mobility, agents and
objects
- Data mining and Data integration
- Deductive databases
- Extensions and integrations of declarative programming paradigms
- Implementations and benchmarking of Computational Logic systems
- Inductive Logic Programming
- Knowledge representation and extraction
- Logic programming, constraint programming and other declarative
programming paradigms
- Model-based Reasoning
- Model Checking
- Multi-agent systems
- Natural language processing
- Non-Monotonic Reasoning
- Planning and scheduling
- Probabilistic Logic Programming
- Semantic web
- Temporal logics
- Tools and environments for program development
- Treatment of uncertain or incomplete knowledge

* SUBMISSION GUIDELINES *
The Conference solicits two types of submissions:
- Full papers, possibly already published in journals or in proceedings of
other conferences, and
- Short papers, which are particularly suitable to present work in
progress, software prototypes, extended abstracts of doctoral theses, and
general overviews of research projects.
Contributions must be written in English, formatted using the CEURART style
(with the one-column option, https://urldefense.com/v3/__https://ceur-ws.org/HOWTOSUBMIT.html*CEURART__;Iw!!IBzWLUs!X18CuNp6doT2lT7McgCTpvKmg8Vc0ur64O2qnZa4d8V1KYIBufICtBLV0JgwEKlZ7SxN1fVe2xcs426Wocdjkxyspp_eN0_DT2lBfW-lK59O$ ),
and submitted in PDF format.
See CEUR author instructions for further details on how to prepare your
submission.
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.
Non-original contributions should include a reference to the already
published version of the paper (for instance in a footnote on the first
page).
Papers must be submitted via Easychair:
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=cilc2024__;!!IBzWLUs!X18CuNp6doT2lT7McgCTpvKmg8Vc0ur64O2qnZa4d8V1KYIBufICtBLV0JgwEKlZ7SxN1fVe2xcs426Wocdjkxyspp_eN0_DT2lBfV_977go$ 

* PUBLICATION *
Accepted original contributions will be included in a volume of the CEUR
Workshop Proceedings.
Accepted non-original contributions will be given visibility on the
conference web site including a link to the original publication, if
available.
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).
Following 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, can be considered for inclusion in the special issue.

* CONTACT *
All questions about submissions should be emailed to Emanuele De Angelis (
emanuele.deangelis at iasi.cnr.it) and Maurizio Proietti (
maurizio.proietti at iasi.cnr.it).
--
Maurizio Proietti
IASI-CNR
Via dei Taurini 19,  00185 Roma, Italy
Phone: +39 0649937114
maurizio.proietti at iasi.cnr.it
https://urldefense.com/v3/__http://www.iasi.cnr.it/*proietti__;fg!!IBzWLUs!X18CuNp6doT2lT7McgCTpvKmg8Vc0ur64O2qnZa4d8V1KYIBufICtBLV0JgwEKlZ7SxN1fVe2xcs426Wocdjkxyspp_eN0_DT2lBfdL0TNCo$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240409/39e0c24a/attachment-0001.htm>


More information about the Types-announce mailing list