[PlanetKR] CILC 2012: Preliminary Call for Papers

Francesca A. Lisi lisi at di.uniba.it
Mon Nov 21 21:42:02 EST 2011

	** 9th Italian Convention on Computational Logic (CILC 2012) **

		Rome, Italy, June 6th to June 7th, 2012


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.


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


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.


* Umberto Straccia, ISTI-CNR Pisa, Italy


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


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.


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


* Information about submission, registration, travel information, 
accommodation, etc., is available on the CILC 2012 homepage:
* The official GULP home page is at

More information about the PlanetKR mailing list