***********************************************************************
,-------.                                                     ,-------.
| GULP! | CILC 2012                                           | GULP! |
\__ ___ ' 9th Italian Convention on Computational Logic       \__ ___ '
        \| www.dis.uniroma1.it/~cilc2012                              \|
           June 6-7, 2012, Universit di Roma "La Sapienza"

***********************************************************************

NEWS: A selection of original papers presented at the convention will be
invited for publication in a special issue of the Journal of Logic and
Computation.

-----------------------------------------------------------------------

                        CALL FOR PAPERS

The Italian Convention on Computational Logic is an annual event
organized by GULP (Gruppo ricercatori e Utenti Logic Programming), the
Italian association for Logic Programming affiliated to ALP (Association
for Logic Programming). Since 1986, the annual meeting 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. During its 26 years of recurrence, the
annual GULP meeting 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 convention, GULP 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 techniques of logic as a
tool for representation and calculation.

CILC 2012 will be held at the Dipartimento di Sistemi ed Informatica
(DIS) of Universit di Roma "La Sapienza" from June 6th to June 7th,
2012, in co-location with DL 2012, NMR 2012, KR 2012, and AI*IA 2012.

IMPORTANT DATES

Abstract submission deadline:   March 10, 2012
Paper submission deadline:      March 17, 2012
Notification of acceptance:     April 15, 2012
Final version due:              May 6, 2012
Convention:                     June 6-7, 2012

SCOPE

The convention will feature presentations of refereed contributions,
including the demonstration of software prototypes, concerning all
aspects of computational logic.

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

     Logic Programming, Constraint Programming and other forms of
declarative programming
     Extensions and integrations of declarative programming languages
     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
     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

Contributions can be of two types: (a) Full papers, possibly already
submitted at other conferences or journals, and (b) short papers, which
are particularly suitable for presenting work in progress, software
prototypes, extended abstracts of doctoral theses, or general overviews
of research projects.

INVITED SPEAKERS

* Umberto Straccia, ISTI-CNR Pisa, Italy

ORGANIZATION

* Francesca Alessandra Lisi, Universit degli Studi di Bari "Aldo Moro",
Italy (PC Chair)
* Fabio Patrizi, "Sapienza" Universit di Roma, Italy (Local
Organization Chair)

SUBMISSION INSTRUCTIONS

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

PROCEEDINGS

The original papers accepted for presentation at the convention (both
full and short) will be published via CEUR-WS.org.

Selected original contributions will be invited for publication in a
special issue of the Journal of Logic and Computation dedicated to the
memory of Gaetano Aurelio Lanzarone.

RESOURCES

* Information about submission, registration, travel information,
accommodation, etc., is available on the CILC 2012 homepage:
www.dis.uniroma1.it/~cilc2012
* The official GULP home page is at
http://lia.deis.unibo.it/gulp/