Call for Papers
This year's edition will be the 35th in the series of an event that is traditionally important for the community. Given to the evolving COVID-19 situation worldwide, the Conference chairs and the GULP Executives decided to hold CILC 2020 as a fully virtual conference, very likely in the same original dates. More details will be announced soon.
Due to the difficult period we are all experiencing and the profound impact that this has been having on our lives and work, we have decided to extend the deadlines. Check the new dates here.
CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, http://www.programmazionelogica.it/). Its 35th edition will be held in Cosenza (Italy) in September 2020.
Since the first event of the series, which took place 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 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
short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects.
The topics of interest include, but are not limited to, the following:
Logic Programming, Constraint Programming and other paradigms of declarative programming
Extensions and integrations of declarative programming paradigms
Analysis, transformation, validation, and verification of programs
Instruments and environments for program development
Implementations and benchmarking
Automated Theorem Proving
Answer Set Programming
Knowledge representation and extraction
Treatment of uncertain and incomplete knowledge
Abductive Logic Programming
Data Mining and Data Integration
Logics for strategic reasoning
Natural Language Processing
Computational logic for concurrency, coordination, mobility and objects
Planning and scheduling
Probabilistic Logic Programming
Computational Logic and formal methods in Artificial Intelligence
Applications of Computational Logic
Pedagogy of Computational Logic
Applications of Computational Logic
Inductive Logic Programming
Computational Logic and Machine Learning
In particular, we also invite submissions of system or prototype software descriptions which use techniques or tools of computational logic, or which themselves aid the development of applications based on computational logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the guidelines given for short papers, and a specification of the required hardware and software equipment.
Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:
Articles must not exceed 15 pages for full papers and 8 pages for short papers, respectively.
Manuscripts should be formatted using the Springer LNCS style.
To ease the reviewing process, the authors of regular papers may add an appendix (although reviewers are not required to consider it in their evaluation).
All contributions must be written in English.
For each accepted contribution, at least one of the authors is required to register to the conference and present the paper according to directions that will be made public by the organizers, taking into account the "virtual" nature of this year's event.
The event is organized by GULP; therefore, Italian attendants are required to be members of GULP (it is possible to join GULP contextually to the conference).
Proceedings and Journal Special Issue
All accepted original contributions (both full and short) will be published on CEUR-WS.org. Non-original communications will be given visibility on the conference web site including a link to the original publication, if already published.
In the trail of the CILC tradition, we plan to publish a selection of the papers 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.