| CALL FOR PAPERS |
| 9th Italian Convention on Computational Logic (CILC 2012) |
| Rome, Italy, June 6th to June 7th, 2012 |
| www.dis.uniroma1.it/~cilc2012 |
|
| 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. |
|
| 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/ |
