Go to the English version

 

CILC 2015
30° Convegno Italiano di Logica Computazionale
Genova, 1-3 luglio 2015

Evento organizzato dal GULP, Gruppo ricercatori e Utenti Logic Programming

www.programmazionelogica.it



In occasione del trentennale, il convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) ritorna a Genova nei giorni 1-3 luglio 2015. Il convegno sarà preceduto da una Scuola di Logica Computazionale.

Sin dal primo evento della serie, tenutosi proprio 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 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 l'edizione 2015 il GULP 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. Per celebrare questa trentesima edizione sono previsti interventi da parte di ricercatori internazionalmente riconosciuti quali Georg Gottlob e molti altri, sia durante la scuola che durante la conferenza. Durante la conferenza avrà anche luogo un panel con i pionieri della Logica Computazionale italiana.

Contributi
Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo". Sarà possibile sottoporre due tipologie di contributo: lavori completi (o "full papers"), eventualmente già inviati ad altre conferenze o riviste, oppure lavori brevi ("short papers"). Gli articoli originali presentati al convegno verranno pubblicati su CEUR-WS.org. Si prevede la pubblicazione di una selezione dei lavori su uno special issue di una rivista internazionale. Agli articoli non originali verrà comunque data visibilità sul sito della conferenza con l'aggiunta dei link alla pubblicazione orginale; qualora non già su rivista, anche gli articoli non originali potranno essere selezionati ed estesi per lo special issue.

Scuola di Logica Computazionale
La partecipazione alla Scuola richiede solo l'iscrizione all'associazione GULP (10 euro per studenti e non strutturati). La scuola inizierà lunedì 29 giugno con un pomeriggio di alfabetizzazione su clausole di Horn, modelli di Herbrand, unificazione, risoluzione SLD, semplici esempi di programmi logici. Questa sessione è dedicata agli studenti che non hanno mai avuto occasione di seguire corsi di programmazione logica. Martedì inizierà la scuola vera e propria che proseguirà il mercoledì con tutorial e interventi di ricercatori di spicco nel campo della Logica Computazionale.

Date importanti
Invio abstract: 15 aprile 2015
Invio articoli e proposte di demo: 26 aprile 2015
Notifica accettazione: 15 maggio 2015
Consegna versione finale: 5 giugno 2015
Registrazione: 5 giugno 2015
Scuola CILC 2015: 29-30 giugno, 1 luglio 2015
Convegno CILC 2015: 1-3 luglio 2015
NOVITA'!!! Gli Atti del Convegno sono stati pubblicati su CEUR: 29 settembre 2015

Organizzazione e registrazione
Il convegno è un evento organizzato dal GULP. I partecipanti italiani al convegno devono essere soci del GULP; l'iscrizione all'associazione potrà essere effettuata contestualmente all'evento. La quota di partecipazione è stata mantenuta al minimo possibile, in linea con quanto fatto nelle ultime edizioni.

Per maggiori informazioni potete contattare Davide AnconaMarco Maratea e Viviana Mascardi
DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Università degli Studi di Genova,Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.

 

  

 

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.