Call for papers

Event organized by GULP
Gruppo ricercatori e Utenti Logic Programming

http://www-lia.deis.unibo.it/gulp

Contributions

The conference will feature presentations of refereed contributions, including the demonstration of software prototypes, concerning all aspects of computational logic.

The conference invites two types of submissions: full papers, possibly already submitted to other conferences or journals, and short papers, which are particularly suitable for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects.

The topics of interest for the conference include, but are not limited to, the following areas:

Important dates

Submission instructions

Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:

https://www.easychair.org/conferences/?conf=cilc20130

Articles may be written either in English or in Italian 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 conference.

Demonstrations

Submissions of system or prototype software descriptions are invited, which use techniques or instruments of Computational Logic, or which are themselves systems aiding the development of applications based on Computational Logic. Systems of both research and industrial character are welcome. Submissions must include a brief description, prepared according to the modalities expected for short papers, and a specification of the required hardware and software equipment.

Proceedings

Papers accepted for presentation at the conference (both full and short) will be published via CEUR-WS.org.

The organization is considering the possibility for a selection of original papers presented at the conference to be published by a special issue of a scientific international journal.

The conference is an event organized by GULP (Gruppo ricercatori e Utenti di Logic Programing). Italian participants to the conference have to be members of GULP; participants can join GULP at the event.



For more information contact the email address:

cilc2013[at] dmi.unict.it


Or contact directly the organizers:

Domenico Cantone, Marianna Nicolosi Asmundo
Dipartimento di Matematica e Informatica
Università di Catania
Viale A. Doria, 6
I-95125 Catania (ITALY)

Email: {cantone,nicolosi}[at] dmi.unict.it