[PlanetKR] CILC 2012: 3rd Call for Papers

Francesca A. Lisi lisi at di.uniba.it
Mon Mar 5 22:06:08 EST 2012


Apologies for multiple postings

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

***********************************************************************
	>> ABSTRACT due:	March 10, 2012 <<
	>> PAPER due: 		March 17, 2012 <<

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

NEWS: "Journal of Logic and Computation" special issue out of CILC 2012
NEWS: "KR 2012 tutorials" free passes for CILC 2012 participants

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

			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 Ingegneria Informatica, 
Automatica e Gestionale "A. Ruberti" (formerly, DIS: Dipartimento di 
Informatica e Sistemistica) of Sapienza Università di Roma 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

https://www.easychair.org/conferences/?conf=cilc-2012

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.

REGISTRATION

The convention is an event organized by GULP. Participants have to be 
members of GULP. Participants can join GULP at the event.

Free registrations to KR 2012 tutorials are available for a limited 
number of CILC 2012 registrants.


RESOURCES

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


More information about the PlanetKR mailing list