32nd Italian Conference on Computational Logic

征稿已开启

已截稿

注册已开启

已截止

活动简介

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming, www.programmazionelogica.it). Its 32nd edition will be held in Naples (Italy) on September 26-29, 2017. 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 of applications in neighboring areas such as artificial intelligence and deductive databases.

Also in the 2016 edition, GULP wants to follow and – possibly – strengthen this policy by identifying, with the general term of Computational Logic, the entire and multifaceted research areas, both foundational and applied, which directly and indirectly either use or interact with techniques and idea characterizing logics as a tool for representation and computation.

The conference will be co-located with ICTCS 2017.

组委会

General Chair

Aniello Murano, University of Napoli “Federico II”, Italy

Co-chairs

Dario Della Monica, Universidad Complutense de Madrid, Spain
Luigi Sauro, University of Napoli “Federico II”, Italy

Program Committee

Davide Ancona, University of Genova, Italy
Paolo Baldan, University of Padova, Italy
Ezio Bartocci, Vienna University of Technology, Austria
Massimo Bartoletti, University of Cagliari, Italy
Vittorio Bilò, University of Salento, Italy
Stefania Costantini, University of L’Aquila, Italy
Ugo Dal Lago, University of Bologna, Italy
Pierpaolo Degano, University of Pisa, Italy
Stefano Ferilli, University of Bari, Italy
Fabio Fioravanti, University of Chieti-Pescara, Italy
Ferdinando Fioretto, University of Michigan, USA
Andrea Formisano, University of Perugia, Italy
Raffaella Gentilini, University of Perugia, Italy
Laura Giordano, DISIT, University of Piemonte Orientale, Italy
Marco Manna, University of Calabria, Italy
Marco Maratea, DIBRIS, University of Genova, Italy
Viviana Mascardi, DIBRIS University of Genova, Italy
Barbara Masucci, University of Salerno, Italy
Paola Mello, University of Bologna, Italy
Matteo Mio, CNRS/ENS-Lyon, France
Fabio Mogavero, University of Oxford, UK
Marco Montali, Free University of Bolzano, Italy
Manuela Montangero, University of Modena and Reggio Emilia, Italy
Laura Nenzi, IMT, Lucca, Italy
Eugenio Omodeo, University of Trieste, Italy
Fabio Patrizi, Sapienza University of Rome, Italy
Giuseppe Perelli, University of Oxford, UK
Adriano Peron, University of Napoli “Federico II”, Italy
Alberto Pettorossi, University of Roma Tor Vergata, Italy
Carla Piazza, University of Udine, Italy
Luca Pulina, POLCOMING, University of Sassari, Italy
Fabrizio Riguzzi, University of Ferrara, Italy
Gianfranco Rossi, University of Parma, Italy
Guido Sciavicco, University of Ferrara, Italy
Jeremy Sproston, University of Torino , Italy
Tiziano Villa, University of Verona, Italy

Organizing Committee

Dario Della Monica, Universidad Complutense de Madrid, Spain
Antonio Di Stasio, University of Napoli “Federico II”, Italy
Vadim Malvone, University of Napoli “Federico II”, Italy
Bastien Maubert, University of Napoli “Federico II”, Italy
Aniello Murano, University of Napoli “Federico II”, Italy
Sasha Rubin, University of Napoli “Federico II”, Italy
Luigi Sauro, University of Napoli “Federico II”, Italy

征稿信息

重要日期

2017-06-07

初稿截稿日期

征稿范围

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