Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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.

Committee

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
Call for paper

Important date

2017-06-07
Draft paper submission deadline

Submission Topics

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
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Sep 26

    2017

    to

    Sep 29

    2017

  • Jun 07 2017

    Draft paper submission deadline

  • Sep 29 2017

    Registration deadline