[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