38th Italian Conference on Computational Logic (CFP)
CEUR Proceedings available here
Udine, June 21-23, 2023
The Italian Conference of Computational Logic (CILC) is the annual meeting of the Italian Association for Logic Programming (GULP – Gruppo Ricercatori e Utenti Logic Programming) and since its first edition held in Genoa in 1986 it has represented an important occasion for meeting and exchanging ideas and experiences between users, researchers, and developers working in the field of Computational Logic.
The 38th annual conference will take place at the University of Udine on 21-23 June 2023.
Over the years, the annual conference organized by GULP has broadened its horizons from the specific field of logic programming to the more general ones of Computational Logic, including for instance, declarative programming, constraints programming, and applications in various neighboring sectors, such as Artificial Intelligence and Deductive Databases. Once again with this year’s conference, the GULP intends to pursue, and possibly expand, this policy by identifying, with the more general term of Computational Logic, the entire variegated world of research, both basic and applied, which directly or indirectly uses or compare with the ideas and techniques of Computational Logic.
Program (and material)
CEUR Proceedings available here
The event is organized by GULP – Gruppo ricercatori e Utenti Logic Programming and all participants are required to be members of GULP.
Contacts
CILC 2023 web page: https://www.programmazionelogica.it/cilc23/
CILC 2023 email: cilc23@easychair.org