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:
- Programmazione logica, a vincoli e altri paradigmi di programmazione dichiarativa
- Estensioni ed integrazioni di paradigmi di programmazione dichiarativa
- Analisi, trasformazione, validazione e verifica di programmi
- Strumenti ed ambienti per lo sviluppo di programmi
- Implementazioni e benchmarking
- Model Checking
- Automated Theorem Proving
- Non-Monotonic Reasoning
- Answer Set Programming
- Rappresentazione ed estrazione della conoscenza
- Trattamento della conoscenza incerta o incompleta
- Approximate Reasoning
- Abductive Logic Programming
- Model-based Reasoning
- Inductive Logic Programming
- Database deduttivi
- Data mining e Data integration
- Sistemi multi-agente
- Semantic Web
- Linguaggio naturale
- Logica computazionale per concorrenza, coordination, mobilità e oggetti
- Pianificazione e scheduling
- Programmazione Logica Probabilistica
Date importanti
- Sottoposizione abstract: 3 Giugno 2011
- Sottoposizione articoli e proposte di demo: 10 Giugno 2011
- Notifica accettazione: 8 Luglio 2011
- Consegna versione finale: 29 Luglio 2011
- Convegno CILC 2011: 31 Agosto - 2 Settembre 2011
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.
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:
http://www.easychair.org/conferences/?conf=cilc-2011
Atti del convegno
Gli articoli presentati al convegno (completi o brevi) verranno
pubblicati su CEUR-WS.org.
Una selezione degli articoli presentati al convegno, sottoposta
all'usuale procedura di referaggio, sarà pubblicata in un numero
della rivista Fundamenta Informaticae
Il convegno è un evento organizzato dal GULP (Gruppo ricercatori e
Utenti Logic Programming) con il contributo del GNCS (Gruppo Nazionale
per il Calcolo Scientifico) dell'INdAM.
I partecipanti italiani al convegno devono essere soci del GULP;
l'iscrizione all'associazione puo' essere effettuata contestualmente
all'evento.
Maggiori informazioni possono essere reperite contattando direttamente
Fabio Fioravanti
Dipartimento di Scienze
Università "G. D'Annunzio" di Chieti-Pescara
Viale Pindaro, 42
I-65127 Pescara (ITALY)
Email: cilc2011 [at] sci.unich.it