CILC04 CONVEGNO ITALIANO DI LOGICA COMPUTAZIONALE Diciannovesimo incontro annuale dell'Associazione Italiana "Gruppo Ricercatori e Utenti di Logic Programming" (GULP) 16-17 giugno 2004 Dipartimento di Matematica Università di Parma Via M. D'Azeglio 85/A, Parma

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 prossimo convegno annuale, il diciannovesimo, si terrà a Parma presso il Dipartimento di Matematica dell'Università di Parma i giorni 16 e 17 giugno 2004.

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 vuol continuare e, se possibile, ampliare questa politica di "apertura", utilizzando, tra l'altro, il più generale termine di Logica Computazionale per individuare tutto il variegato 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

• Strumenti ed ambienti per lo sviluppo di programmi
• Analisi, trasformazione, validazione, verifica di programmi
• Programmazione dichiarativa
• Estensioni ed integrazioni con altri paradigmi
• Programmazione a vincoli
• Concorrenza, "coordination", mobilità, oggetti
• Database deduttivi
• "Semantic Web"
• Sistemi multi-agente
• Ragionamento non-monotono
• "Abductive Logic Programming", "Answer Set Programming"
• Apprendimento automatico ("Inductive Logic Programming", ...)
• Ragionamento "model-based"
• Rappresentazione della conoscenza
• Estrazione di conoscenza
• Pianificazione e scheduling
• Linguaggio naturale

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 cilc04@cs.unipr.it. 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 3 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). È necessario specificare nel messaggio di accompagnamento se si tratta di un lavoro completo o breve. Gli articoli accettati dovranno essere presentati al convegno.

Dimostrazioni

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 (panegai@cs.unipr.it) e 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 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

Matteo Baldoni (Univ. di Torino)

Francesco Buccafurri (Univ. "Mediterranea" di Reggio Calabria)

Michele Bugliesi (Univ. "Ca Foscari" di Venezia)

Marco Cadoli (Univ. "La Sapienza" di Roma)

Stefania Costantini (Univ. di L'Aquila)

Giorgio Delzanno (Univ. di Genova)

Agostino Dovier (Univ. di Udine)

Andrea Formisano (Univ. di L'Aquila)

Marco Gavanelli (Univ. di Ferrara)

Fosca Giannotti (CNR, Pisa)

Roberta Gori (Univ. di Pisa)

Vincenzo Loia (Univ. di Salerno)

Donato Malerba (Univ. di Bari)

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

Andrea Omicini (Univ. di Bologna)

Maurizio Proietti (IASI-CNR, Roma)

Francesca Rossi (Univ. di Padova)

Gianfranco Rossi (Univ. di Parma) (presidente)

Fausto Spoto (Univ. di Verona)

Enea Zaffanella (Univ. di Parma)

Comitato organizzatore

Roberto Bagnara (Univ. di Parma)

Dario Bianchi (Univ. di Parma)

Elio Panegai (Univ. di Parma) (coordinatore demo)

Cristina Reggiani (Univ. di Parma)

Gianfranco Rossi (Univ. di Parma)

Enea Zaffanella (Univ. di Parma)

Sito web