28/02/2013
Il sito del CILC 2013 è online!

Il ventottesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l'Università degli studi di Catania nei giorni 25 - 27 Settembre 2013.

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. Nel corso degli anni il convegno annuale organizzato dal GULP ha allargato i propri orizzonti dal campo specifico della programmazione logica tradizionale a quelli più generali della programmazione dichiarativa, delle applicazioni in diversi settori limitrofi, quali l'Intelligenza Artificiale o i 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 logica come strumento per rappresentazione e calcolo.

DMI Catania
Il convegno avrà luogo presso l'Aula Magna (Giovanni Dantoni) del Dipartimento di Matematica e Informatica dell'Università degli studi di Catania, Città Universitaria, viale Andrea Doria 6, 95125 Catania.