CILC 2019: 34th Italian Conference on Computational Logic Trieste, Italy, June 18-21, 2019 |
Conference website | http://cilc2019.units.it/ |
Submission link | https://easychair.org/conferences/?conf=cilc20190 |
Submission deadline | March 8, 2019 |
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 34th edition will be held in Trieste (Italy) on June 19-21, 2019.
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.
Contributions
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 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
- Model Checking
- Temporal logics
- Automated Theorem Proving
- Non-Monotonic Reasoning
- Answer Set Programming
- Knowledge representation and extraction
- Treatment of uncertain and incomplete knowledge
- Approximate Reasoning
- Abductive Logic Programming
- Model-based Reasoning
- Inductive Logic Programming
- Deductive Databases
- Data Mining and Data Integration
- Multi-agent systems
- Logics for strategic reasoning
- Semantic Web
- 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
Important Dates
Abstract, paper, and demo submission deadline: 8 March 2019
Notification of acceptance: 15 April 2019
Final version: 18 May 2019
Conference: 19-21 June 2019
Submission Instructions
Articles must not exceed 15 pages for full papers and 9 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.
In particular, we 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.
For each accepted contribution, at least one of the authors is required to attend the conference and present the paper. The event is organized by GULP. Therefore, Italian attendants are required to be members of GULP (it is possible to join GULP at the conference).
Committees
Program Committee
- Roberto Amadini, University of Melbourne
- Matteo Baldoni, Università di Torino
- Roberta Calegari, Università di Bologna
- Domenico Cantone, Università di Catania
- Giovanni De Gasperis, Università dell’Aquila
- Giorgio Delzanno, Università di Genova
- Wolfgang Faber, Alpen-Adria-Universität Klagenfurt
- Paolo Felli, Free University of Bozen-Bolzano
- Fabio Fioravanti, Università di Chieti - Pescara
- Ferdinando Fioretto, Georgia Institute of Technology
- Andrea Formisano, Università di Perugia
- Silvio Ghilardi, Università degli Studi di Milano
- Laura Giordano, Università del Piemonte Orientale
- Evelina Lamma, Università di Ferrara
- Marco Maratea, Università degli Studi di Genova
- Stefania Monica, Università di Parma
- Fabio Patrizi, Sapienza Università di Roma
- Adriano Peron, Università di Napoli
- Carla Piazza, Università degli Studi di Udine
- Maurizio Proietti, IASI-CNR Roma
- Francesco Ricca, Università della Calabria
- Gianfranco Rossi, Università di Parma
- Sabina Rossi, Università di Venezia
- Pietro Sala, Università di Verona
- Umberto Straccia, ISTI-CNR
Organizing committee
- Eugenio Omodeo, Università degli Studi di Trieste
- Alberto Casagrande, Università degli Studi di Trieste
Contact
All questions about submissions should be emailed to acasagrande(at)units(dot)it.