Ventesimo incontro annuale dell'Associazione Italiana "Gruppo Ricercatori e Utenti di Logic Programming" (GULP) 21-22 giugno 2005 Roma

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 tutti coloro (utenti, ricercatori, sviluppatori) che operano nel campo della logica computazionale. Il ventesimo convegno annuale si terra` a Roma nei giorni 21 e 22 Giugno 2005.

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 nei diversi settori limitrofi, quali quello dell'Intelligenza Artificiale e dei Database Deduttivi. Anche il convegno di quest'anno desidera porsi in questo orizzonte allargato, utilizzando, tra l'altro, il termine di "Logica Computazionale" per individuare tutto il variegato e molteplice mondo della ricerca di base ed applicata che, direttamente o indirettamente, utilizza, o comunque si confronta, con le idee e le tecniche messe a punto nel campo della Programmazione Logica. Il programma del convegno prevede la presentazione di articoli sottomessi, di alcuni tutorial su argomenti specifici e la presentazione di prototipi software con le relative demo.

Articoli

E' possibile sottomettere lavori completi, eventualmente anche sottomessi ad altre conferenze o riviste, oppure lavori brevi. Questi ultimi sono particolarmente indicati per presentare lavori in corso, anche se non ancora pronti per la pubblicazione, riassunti di tesi di dottorato, nonché overview di progetti di ricerca.

•   Programmazione logica, a vincoli e altri paradigmi di programmazione dichiarativa
•   Integrazione tra vari paradigmi di programmazione dichiarativa
•   Analisi, trasformazione, validazione e verifica di programmi
•   Strumenti ed ambienti per lo sviluppo di programmi
•   Model Checking, Automated Theorem Proving
•   Rappresentazione ed estrazione della conoscenza:

  Non-Monotonic Reasoning, Abductive Logic Programming,

  Answer Set Programming, Model-based Reasoning, Approximate Reasoning,

  Inductive Logic Programming, Data Mining

•   Sistemi multi-agente
•   Database deduttivi, Semantic Web
•   Linguaggio naturale
•   Logica computazionale per concorrenza, coordination, mobilità e oggetti

Istruzioni per la sottomissione

La modalità preferita di sottomissione degli articoli è tramite la posta elettronica, inviando la versione pdf o postscript dell'articolo all'indirizzo pettorossiinfo.uniroma2.it con oggetto:

"CILC05 Sottomissione lavoro completo" oppure
"CILC05 Sottomissione lavoro breve",

a seconda che si tratti di lavoro completo o breve, come specificato in seguito. Gli articoli sottomessi saranno esaminati dai membri del comitato di programma per valutarne l'adeguatezza alle caratteristiche e agli scopi del convegno. Gli articoli potranno essere scritti in italiano o in inglese e non dovranno superare le 15 pagine per i lavori completi, e le 5 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori è il formato standard della serie LNCS (http://www.springer.de/comp/lncs/index.html). E' necessario specificare nel messaggio di accompagnamento se si tratta di un lavoro completo o breve. Gli articoli accettati dovranno essere presentati al convegno.

Demo e Tutorial

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 essere inviate per posta elettronica al Coordinatore delle demo Maurizio Proietti (proiettiiasi.rm.cnr.it) con oggetto: "CILC05 Proposta demo" e debbono includere una breve descrizione, preparata seguendo le modalità previste per i lavori brevi, e la specifica dell'attrezzatura hardware e software richiesta.

Si sollecitano anche proposte di tutorial che debbono essere inviate per posta elettronica al Coordinatore Maurizio Proietti (proiettiiasi.rm.cnr.it) con oggetto: "CILC05 Proposta tutorial".

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.

Date importanti

Comitato di programma

Roberto Basili (Univ. Roma Tor Vergata)

Marco Cadoli (Univ. "La Sapienza" Roma)

Agostino Cortesi (Univ. "Ca Foscari" Venezia)

Stefania Costantini (Univ. L'Aquila)

Giorgio Delzanno (Univ. Genova)

Agostino Dovier (Univ. Udine)

Laura Giordano (Univ. Piemonte Orientale)

Evelina Lamma (Univ. Ferrara)

Vincenzo Loia (Univ. Salerno)

Maria Chiara Meo (Univ. "G. d'Annunzio" Chieti e Pescara)

Mario Ornaghi (Univ. Milano)

Alberto Pettorossi (Univ. Roma Tor Vergata) (presidente)

Chiara Renso (CNR, Pisa)

Francesca Rossi (Univ. Padova)

Salvatore Ruggieri (Univ. Pisa)

Domenico Saccà (Univ. della Calabria)

Giovanni Semeraro (Univ. Bari)

Fausto Spoto (Univ. Verona)

Paolo Torroni (Univ. Bologna)

Enea Zaffanella (Univ. Parma)

Coordinatore Demo e Tutorial

Maurizio Proietti (IASI-CNR, Roma)

Comitato organizzatore

Alberto Pettorossi (Univ. Roma Tor Vergata)	pettorossiinfo.uniroma2.it
Maurizio Proietti (IASI-CNR, Roma)	proiettiiasi.rm.cnr.it
Valerio Senni (Univ. Roma Tor Vergata)	sennidisp.uniroma2.it

Sito web