Home

CILC 2015: 30th Italian Conference on Computational Logic

2015-01-02T12:37:51+00:00

CILC 2015
30th Italian Conference on Computational Logic
Genoa, July 1st-3rd 2015

Event organized by GULP, Group of researchers and Users of Logic Programming
www.programmazionelogica.it

To celebrate its thirty years, the annual conference of the Group of researchers and Users of Logic Programming (GULP) will be back to Genoa from July 1st to 3rd, 2015. A School of Computational Logic will precede the conference.

Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the computational logic field to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of traditional Logic Programming to the general ones of declarative programming and of applications in neighboring areas including Artificial Intelligence and Deductive Databases. Also in the 2015 edition, GULP wants to follow and - possibly - strengthen this policy by identifying, with the general term of Computational Logic, the entire and multifaceted research areas, both foundational and applied, which directly and indirectly either use or interact with techniques and idea characterizing logics as a tool for representation and computation. To celebrate the 30th edition, world-wide recognized top scientists including Georg Gottlob and many others will give talks either at the conference or at the school. A panel with the Italian pioneers of Computational Logic will also take place.

Contributions

The conference program will include presentations of contributions on specific topics and presentations of software prototypes with their demos. Two kinds of contributions are allowed: full papers (which may be already accepted by other journals and conferences), and short papers. Original papers will be published on CEUR-WS.org. A selection of the papers presented at the conference will be published in a special issue of an international journal. Papers presented elsewhere will gain visibility by being linked from the conference site; if not already published on a journal, the non original papers will have the chance to be selected for the special issue as well.

School of Computational Logic
Attending the school only requires to be registered to the GULP association (10 euro for students and researchers without a tenure track); there are no other fees. The school will start on June 29th with an afternoon for familiarizing with Horn clauses, Herbrand models, unification, SLD resolution, simple examples of logic programs. This session is mainly conceived for those students who have no or limited background on logic programming. On Tuesday the 30th some advanced topics will be faced and the school will go on until Wednesday morning with tutorials and talks of international top scientists in Computational Logic.

Important dates
Submission of abstracts: April, 15th, 2015
Submission of papers and demo proposals: April, 26th, 2015
Notification of acceptance: May, 15th, 2015
Camera ready: June, 5th, 2015
Registration: June, 5th, 2015
CILC School: June, 29th and 30th, July 1st, 2015
CILC Conference: July, 1st to 3rd, 2015
NEW!!! The CILC 2015 Proceedings have been published by CEUR: September, 29th, 2015

Organization and registration

The CILC conference is organized by GULP. Italian attendees must be members of GULP. The registration can be done on site. The fee will has been kept as low as possible, consistently with the previous editions.

For more information you may contact the organizers Davide Ancona, Marco Maratea and Viviana Mascardi
DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Università degli Studi di Genova, cilc2015@dibris.unige.it

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

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

CILC 2015: 30-esimo Convegno Italiano di Logica Computazionale

2013-11-15T23:00:00+00:00

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 Ancona, Marco Maratea e Viviana Mascardi
DIBRIS - Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Università degli Studi di Genova, cilc2015@dibris.unige.it

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

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