A Ingegneria convegno di Logica Computazionale
Si terrà fino a venerdì 26 (Inaugurato ieri 24 ) il CILC 09, XXIV Convegno Italiano di Logica Computazionale presso la Facoltà di Ingegneria del Polo Scientifico-Tecnologico dell’Università di Ferrara (via Saragat, 1), organizzato dal GULP, Gruppo ricercatori e Utenti Logic Programming.
“Sin dal primo convegno tenutosi a Genova nel 1986 – spiegano gli organizzatori – l’evento annuale del GULP ha rappresentato la principale occasione di incontro e scambio di idee e di esperienze tra utenti, ricercatori e sviluppatori che operano nel campo della logica computazionale. Nel corso degli anni il convegno 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'Asso-ciazione Italiana di Programmazione Logica vuol perseguire, e possibilmente ampliare, questa poli-tica 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 i-dee e le tecniche proprie della Programmazione Logica”.
Quest'anno inoltre il convegno ospiterà la prima Computational Logic Programming Competition.
Il programma dettagliato del convegno all'indirizzo www.ing.unife.it/eventi/cilc09/programma.shtml
http://www.estense.com/?module=displaystory&story_id=52505&format=html