Call for Papers

[text version], [versione italiana]

Since the first conference, which took place in Genoa in 1986, the annual conference organized by GULP is the most important occasion for meeting and exchanging ideas and experiences between users, researchers and developers, who work in the field of computational logic. The 25th annual conference will be hosted by the Department of Mathematics of the University of Calabria from July 7th to July 9th, 2010.

During its 24 years of recurrence, the annual conference organized by GULP has continually widened its horizons from the field of traditional logic programming to the more general areas of declarative programming and its applications in various neighboring fields, such as Artificial Intelligence or Deductive Databases. Also in this year's conference, the Italian Association of Logic Programming wants to continue and possibly widen this policy, using the general term Computational Logic for integrating the various research fields, which use in direct or indirect, practical or theoretical ways or just addresses the ideas or tecniques of logic as a tool for representation and calculation.

Invited Contributions

Invitated Speakers

Tutorial

Book Presentation "A 25-Year Perspective on Logic Programming"

Contributions

The conference will feature presentations of refereed contributions, including the demonstration of software prototypes.

The conference invites two types of submissions: Full papers, possibly already submitted at other conferences or journals, and short papers, which are particularly apt for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects.

The topics of interest for the conference include, but are not limited to, the following areas:

  • 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
  • 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
  • Semantic Web
  • Natural Language Processing
  • Computational logic for concurrency, coordination, mobility and objects
  • Planning and scheduling
  • Probabilistic Logic Programming

Important Dates

  • Paper and demo submission: April 15, 2010
  • Notification of acceptance: May 21, 2010
  • Final version due: June 7, 2010
  • Conference CILC'10: July 7-9, 2010

Program Committee

Coordinators

Members

Organizing Committee

Coordinators

Members

  • Mario Alviano, University of Calabria, Italy

  • Susanna Cozza, University of Calabria, Italy

  • Gianluigi Greco, University of Calabria, Italy

  • Giovambattista Ianni, University of Calabria, Italy

  • Marco Manna, University of Calabria, Italy

  • Marco Marano, University of Calabria, Italy

  • Simona Perri, University of Calabria, Italy

  • Marco Sirianni, University of Calabria, Italy

  • Pierfrancesco Veltri, University of Calabria, Italy

Submission Instructions

Authors are invited to submit their manuscripts in PDF via the easychair system. Articles may be written in English or Italian and must not exceed 15 pages for full papers, respectively 5 pages for short papers. Manuscripts should be formatted using the Springer LNCS style. Accepted articles have to be presented at the conference.

Demonstrations

Submissions of system or prototype software descriptions are invited, which use techniques or instruments of Computational Logic, or which are themselves systems which aid the development of applications based on Computational Logic. Systems of both research and industrial character are welcome. Descriptions should be submitted in the form of short papers (5 pages); at the confernce a demonstration of the software should be given.

Conference Proceedings

The papers presented at the conference (both full and short) will be published via CEUR-WS.org.

Selected original contributions will be invited for a special issue of Theory and Practice of Logic Programming.

The conference is an event organized by GULP (Gruppo ricercatori e Utenti di Logic Programming). Italian participants of the conference have to be members of GULP; participants can join GULP at the event.

More information can be obtained by contacting Wolfgang Faber or Nicola Leone.