Call for Papers
The Italian Conference on Computational Logic (CILC) is the annual conference organized by the Group of researchers and Users of Logic Programming (GULP). 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.
The 37th edition will be held in Bologna (Italy) from 29 June to 1 July 2022.
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:
- Full papers, possibly already submitted to other conferences or journals, 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.
This conference provides a forum for the exchange of ideas, presentation of results and preliminary work in all areas related to computational logic; including, but not limited to:
- Abductive Logic Programming
- Analysis, transformation, validation, and verification of declarative programs
- Answer Set Programming
- Applications of Computational Logic and systems
- Approximate Reasoning
- Automated Theorem Proving
- 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
- Inductive Logic Programming
- Knowledge representation and extraction
- Logic Programming, Constraint Programming, and other paradigms of declarative programming
- Logics for strategic reasoning
- Model Checking
- Model-Based Reasoning
- Multi-Agent systems
- Natural Language Processing
- Non-Monotonic Reasoning
- Pedagogy of Computational Logic
- Planning and scheduling
- Probabilistic Logic Programming
- Semantic Web
- Temporal logics
- Tools and environments for program development
- Treatment of uncertain and incomplete knowledge
Submissions will be managed via EasyChair: https://easychair.org/conferences/?conf=cilc22
Contributions must not exceed 13 pages (references excluded) for full papers and 6 pages (references excluded) for short papers. Contributions must be formatted using the Springer LNCS style. All contributions must be written in English.
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.
At least one author of each accepted paper will be required to attend the workshop to present the contribution.
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 published in a journal yet, might be included in the issue.