[PlanetKR] CILC 2012: Last Call for Participation
Francesca A. Lisi
lisi at di.uniba.it
Fri Jun 1 18:57:10 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"
***********************************************************************
OVERVIEW
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.
VENUE
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.
Details about how to find the CILC 2012 venue are available at
http://www.dis.uniroma1.it/~cilc2012/venue.html
REGISTRATION
The convention is an event organized by GULP. Participants have to be
members of GULP for 2012. Participants can join GULP at the event.
Participants are invited to register as soon as possible in order to
allow for a better organization of the event.
Free passes to KR 2012 tutorials are available for a limited number of
CILC 2012 registrants. This possibility is open only to those who are
not registered for KR 2012. When registering, CILC 2012 participants are
invited to express an interest in this possibility.
Details about the registration are available at
http://www.dis.uniroma1.it/~cilc2012/registration.html
PROGRAMME
Besides the technical sessions of short or long oral presentations, the
programme features:
* the invited talk "Foundations of Fuzzy Logic and Semantic Web Languages"
given by Umberto Straccia, ISTI-CNR Pisa, Italy
* the GULP Board meeting
* the GULP meeting open to all members
* the social dinner
The detailed programme is available at
http://www.dis.uniroma1.it/~cilc2012/program.html
The proceedings are available at
http://ceur-ws.org/Vol-857
in the CEUR Workshop Proceedings Series.
ORGANIZATION
* Francesca Alessandra Lisi, Università degli Studi di Bari "Aldo Moro",
Italy (PC Chair)
* Fabio Patrizi, "Sapienza" Università di Roma, Italy (Local
Organization Chair)
More information about the PlanetKR
mailing list