Convegno Italiano di Logica Computazionale

cilc'16, 20-22 giugno 2016

Home

English
20150728_195010

Il trentunesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avrà luogo presso l’Università degli Studi di Milano-Bicocca dal 20 al 22 giugno 2016.

Sin dal primo incontro, 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 la rappresentazione della conoscenza e la computazione.

Durante il convegno è prevista una sessione speciale su Constructivism and logic (programming) per festeggiare i settanta anni di  Mario Ornaghi.

Proceedings

Vol-1645 , CEUR Workshop Proceedings (CEUR-WS.org)


bicocca

universitaInterno

gulp-scimmia

aiXia

gncs

Lascia un commento

Inserisci i tuoi dati qui sotto o clicca su un'icona per effettuare l'accesso:

Logo WordPress.com

Stai commentando usando il tuo account WordPress.com. Chiudi sessione / Modifica )

Foto Twitter

Stai commentando usando il tuo account Twitter. Chiudi sessione / Modifica )

Foto di Facebook

Stai commentando usando il tuo account Facebook. Chiudi sessione / Modifica )

Google+ photo

Stai commentando usando il tuo account Google+. Chiudi sessione / Modifica )

Connessione a %s...