Call for papers

Evento organizzato dal GULP
Gruppo ricercatori e Utenti Logic Programming

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

Contributi

Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo".

È possibile sottoporre due tipologie di contributo: articoli completi (o "full papers"), eventualmente già inviati ad altre conferenze o riviste, oppure lavori brevi ("short papers"). Questi ultimi sono particolarmente indicati per presentare lavori in corso, anche se non ancora pronti per la pubblicazione, prototipi software, riassunti di tesi di dottorato, nonché presentazioni generali ("overview") di progetti di ricerca.

I temi di interesse per il convegno riguardano, ma non sono necessariamente limitati ai seguenti argomenti:

Date importanti

Modalità di sottoposizione dei contributi

Si sollecita la sottoposizione di contributi in formato elettronico (Adobe PDF). Il processo di sottoposizione e valutazione di articoli sarà gestito tramite Easychair.

Gli articoli potranno essere scritti in italiano o in inglese e non dovranno eccedere le 15 pagine per i lavori completi o le 5 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori è il formato standard della serie LNCS. Gli articoli accettati dovranno essere presentati al convegno.

Pagina per la sottoposizione dei contributi: https://www.easychair.org/conferences/?conf=cilc20130

Dimostrazioni (Demo)

Si sollecitano proposte per la presentazione di demo di sistemi e prototipi software, realizzati in ambito di ricerca o industriale, che utilizzino tecniche e strumenti connessi con la Logica Computazionale o che costituiscano essi stessi strumenti utili allo sviluppo di applicazioni basate sulla Logica Computazionale. Le proposte devono includere una breve descrizione, preparata seguendo le modalità previste per i lavori brevi, e la specifica dell'attrezzatura hardware e software richiesta.

Atti del convegno

Gli articoli presentati al convegno (completi o brevi) verranno pubblicati su CEUR-WS.org.

Si valuterà inoltre la possibilità che una selezione di articoli originali presentati al convegno possa essere pubblicata in un numero speciale di una rivista scientifica internazionale.

Il convegno è un evento organizzato dal GULP (Gruppo ricercatori e Utenti Logic Programming). I partecipanti italiani al convegno devono essere soci del GULP; l'iscrizione all'associazione puo' essere effettuata contestualmente all'evento.



Per maggiori informazioni scrivere a:

cilc2013[at] dmi.unict.it

oppure contattare direttamente gli organizzatori:

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