CILC 2006

Convegno Italiano di Logica Computazionale


26-27 giugno 2006
Aula Hume, Dipartimento di Informatica,
Via Orabona 4, Bari


Home
Call for papers
Comitato di programma
Comitato organizzatore
Date importanti

Programma
Relazione invitata
Tutorial

Iscrizione al convegno
Informazioni logistiche

Partecipanti
Foto del convegno


see GULP logo

Ventunesimo incontro annuale dell'Associazione Italiana
"Gruppo Ricercatori e Utenti di Logic Programming" (GULP)


26-27 giugno 2006
Dipartimento di Informatica, Universita' di Bari
Via E. Orabona 4, BARI
http://cilc2006.di.uniba.it


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 ventunesimo convegno annuale si terra` a Bari nei giorni 26 e 27 Giugno 2006.

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 ("full papers"), eventualmente anche sottomessi 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, riassunti di tesi di dottorato, nonche' "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
  •   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 e Approximate Reasoning
  •   Inductive Logic Programming
  •   Data Mining
  •   Sistemi multi-agente
  •   Database deduttivi
  •   Semantic Web
  •   Linguaggio naturale
  •   Logica computazionale per concorrenza, coordination, mobilitÓ e oggetti
  •   Pianificazione e scheduling

Istruzioni per la sottomissione

La modalita' preferita di sottomissione degli articoli e' tramite la posta elettronica, inviando la versione PDF o postscript dell'articolo all'indirizzo cilc06@di.uniba.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 5 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori e' 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 e se si tratta di un lavoro nuovo o giÓ sottomesso ad altre conferenze o riviste. Gli articoli accettati dovranno essere presentati al convegno.


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 essere inviate per posta elettronica al Coordinatore delle Demo (lops@di.uniba.it) e devono includere una breve descrizione, preparata seguendo le modalita' 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) saranno resi disponibili su Web nel sito del convegno. E' prevista una selezione di articoli originali presentati al convegno e relativi al tema dell'Intelligenza Artificiale per la pubblicazione in un numero speciale della rivista "Intelligenza Artificiale".


Date importanti

Sottomissione articoli e proposte di demo: 21 aprile 2006 NEW
Notifica accettazione: 18 maggio 2006 NEW
Consegna versione finale: 5 giugno 2006 NEW


Comitato di programma


Annalisa Bossi (UniversitÓ di Venezia)
Agostino Dovier (UniversitÓ di Udine)
Floriana Esposito (UniversitÓ di Bari)
Moreno Falaschi (UniversitÓ di Udine)
Andrea Formisano (UniversitÓ dell'Aquila)
Maurizio Gabbrielli (UniversitÓ di Bologna)
Laura Giordano (UniversitÓ del Piemonte Orientale)
Evelina Lamma (UniversitÓ di Ferrara)
Donato Malerba (UniversitÓ di Bari)
Maria Chiara Meo (UniversitÓ di Chieti e Pescara)
Mario Ornaghi (UniversitÓ di Milano)
Simona Perri (UniversitÓ della Calabria)
Alberto Pettorossi (UniversitÓ Tor Vergata Roma)
Francesca Rossi (UniversitÓ di Padova)
Salvatore Ruggieri (UniversitÓ di Pisa)
Marco Schaerf (UniversitÓ La Sapienza Roma)
Giovanni Semeraro (UniversitÓ di Bari)
Paolo Torroni (UniversitÓ di Bologna)
Enea Zaffanella (UniversitÓ di Parma)


Comitato organizzatore

Floriana Esposito (UniversitÓ di Bari)
Donato Malerba (UniversitÓ di Bari)
Giovanni Semeraro (UniversitÓ di Bari)


Organizzazione locale

Pasquale Lops (UniversitÓ di Bari)
Marco Degemmis (UniversitÓ di Bari)


Sito web

Le informazioni aggiornate sul congresso sono accessibili al sito web: http://cilc2006.di.uniba.it



Pagina a cura di
Bruna Di Nanna
dinannadi.uniba.it