CILC 2026
The 41st Italian Conference on Computational Logic
Ferrara
June 23-25
Embedded Files
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 41st annual conference will take place at the University of Ferrara.
Paper Submission: TBA
Notification: TBA
Final version: TBA
Conference: June 23-25
List of Topics
List of Topics
The Conference will feature presentations of invited speakers and contributed papers concerning all aspects of computational logic. The topics of interest for the conference are, but are not limited to, the following:
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
Neural-Symbolic Integration and Reasoning
Planning and scheduling
Probabilistic Logic Programming
Semantic web
Temporal logics
Tools and environments for program development
Treatment of uncertain or incomplete knowledge
Page updated
Report abuse