CILC 09 - 24esimo Convegno Italiano di Logica Computazionale
Evento organizzato dal
GULP
Gruppo ricercatori e Utenti Logic Programming
Sin dal primo convegno tenutosi a Genova nel 1986, il convegno annuale
del GULP ha rappresentato la principale occasione di incontro e scambio
di idee ed esperienze tra utenti, ricercatori e sviluppatori che operano
nel campo della logica computazionale.
Il ventiquattresimo convegno annuale avrà luogo presso il Dipartimento di Ingegneria dell'Università di Ferrara nei giorni 25 e 26 giugno 2009.
Nel corso degli anni il convegno annuale organizzato dal GULP ha
allargato i propri orizzonti dal campo specifico della programmazione
logica a quelli più generali della programmazione con vincoli, della
programmazione dichiarativa, delle applicazioni in diversi settori
limitrofi, quali quello dell'Intelligenza Artificiale o dei Database
Deduttivi. Anche con il convegno di quest'anno l'Associazione Italiana
di Programmazione Logica vuol perseguire, e possibilmente ampliare,
questa politica identificando, con il più generale termine di Logica
Computazionale, l'intero variegato mondo della ricerca, di base e
applicata, che direttamente o indirettamente utilizza o si confronta con
le idee e le tecniche proprie della Programmazione Logica.
Contributi
Il programma del convegno prevede la presentazione di contributi su
argomenti specifici e la presentazione di prototipi software con le
relative "demo".
E` possibile sottoporre due tipologie di contributo: articoli completi (o "full papers"), eventualmente già invitati 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, nonche' 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
- Registrazione abstract: 2 aprile 2009
- Invio articoli e proposte di demo:
31 marzo 2009 13 aprile 2009
- Notifica accettazione:
4 maggio 2009 11 maggio 2009
- Consegna versione finale: 5 giugno 2009
- Convegno CILC09: 24-26 giugno 2009
Comitato di programma
Organizzazione
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.
Per sottoporre gli articoli si visiti la pagina
http://www.easychair.org/conferences/?conf=cilc09
Atti del convegno
Gli articoli presentati al convegno (completi o brevi) verranno
resi disponibili su Web nel sito del convegno. 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 può essere effettuata contestualmente
all'evento.
Maggiori informazioni possono essere reperite al sito del convegno:
http://www.ing.unife.it/eventi/cilc09/
o contattando direttamente Marco Gavanelli o Fabrizio Riguzzi.
| 