CILC08  --  23-esimo 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 ventitreesimo convegno annuale avrà luogo presso il Dipartimento di Matematica e Informatica dell'Università di Perugia nei giorni 10, 11 e 12 Luglio 2008.

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".

È 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, 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


Date importanti

  • Sottomissione articoli e proposte di demo: 7 Aprile 2008
  • Notifica accettazione: 17 Maggio 2008
  • Consegna versione finale: 14 Giugno 2008
  • Convegno CILC08: 10-12 Luglio 2008


Comitato di programma

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 (reperibile presso il sito della Springer: http://www.springer.de/comp/lncs/index.html).
Gli articoli accettati dovranno essere presentati al convegno.

Pagina per la sottomissione dei contributi:
http://www.easychair.org/conferences/?conf=cilc08


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) congiuntamente e con il contributo del Dipartimento di Matematica e Informatica, dell'Università degli Studi di Perugia, del GNCS/INdAM-Gruppo Nazionale per il Calcolo Scientifico.
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.dipmat.unipg.it/CILC08 o contattando direttamente Andrea Formisano:

  Dipartimento di Matematica e Informatica
Università di Perugia
Via Vanvitelli, 1
06123 Perugia, Italy
Tel.: (+39)0755855011    Fax.: (+39)0755855024
Web: page    Email: formis [AT] dipmat [DOT] unipg [DOT] it