************************************************************************ CILC 2014 --- 29-esimo Convegno Italiano di Logica Computazionale http://www.programmazionelogica.it/cilc-2014/ ************************************************************************ Evento organizzato dal GULP Gruppo ricercatori e Utenti Logic Programming http://www.programmazionelogica.it Il ventinovesimo convegno annuale del GULP (Gruppo ricercatori e Utenti Logic Programming) avra' luogo presso l'Universita' degli Studi di Torino dal 16 al 18 Giugno 2014. 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 piu' 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 piu' 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. ------------------------------------------------------------------------ *Contributi* ************* Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo". E' possibile sottomettere due tipologie di contributo: articoli completi (o "full papers"), eventualmente gia' inviati ad altre conferenze o riviste, oppure lavori brevi ("short papers"). Questi ultimi sono particolarmente indicati per presentare lavori in corso (anche se non ancora pronti per la pubblicazione), prototipi software, riassunti di tesi di dottorato, nonche' presentazioni generali ("overview") di progetti di ricerca. I temi di interesse per il convegno riguardano, ma non sono necessariamente limitati ai seguenti argomenti: * Programmazione logica, a vincoli e altri paradigmi di programmazione dichiarativa * Estensioni ed integrazioni di paradigmi di programmazione dichiarativa * Analisi, trasformazione, validazione e verifica di programmi * Strumenti ed ambienti per lo sviluppo di programmi * Implementazioni e benchmarking * Model Checking * Automated Theorem Proving * Non-Monotonic Reasoning * Answer Set Programming * Rappresentazione ed estrazione della conoscenza * Trattamento della conoscenza incerta o incompleta * Approximate Reasoning * Abductive Logic Programming * Model-based Reasoning * Inductive Logic Programming * Database deduttivi * Data mining e Data integration * Sistemi multi-agente * Semantic Web * Linguaggio naturale * Logica computazionale per concorrenza, coordination, mobilita' e oggetti * Pianificazione e scheduling * Programmazione Logica Probabilistica ------------------------------------------------------------------------ *Date importanti* ******************** * Sottomissione abstract: 6 aprile 2014 (estesa) * Sottomissione articoli e proposte di demo: 13 aprile 2014 (estesa) * Notifica di accettazione: 17 maggio 2014 * Consegna versione finale: 6 giugno 2014 * Convegno CILC 2014: 16-18 giugno 2014 ------------------------------------------------------------------------ *Comitato di programma* ***************************** Elena Bellodi Universita' degli Studi di Ferrara Stefano Bistarelli Universita' degli Studi di Perugia Davide Bresolin Universita' degli Studi di Bologna Federico Chesani Universita' di Bologna Simona Colucci Universita' della Tuscia, Viterbo Stefania Costantini Universita' degli Studi di L'Aquila Alessandro Dal Palu' Universita' degli Studi di Parma Agostino Dovier Universita' degli Studi di Udine Wolfgang Faber University of Huddersfield, UK Stefano Ferilli Universita' degli Studi di Bari "Aldo Moro" Fabio Fioravanti Universita' "G. D'Annunzio" di Chieti-Pescara Camillo Fiorentini Universita' degli Studi di Milano Andrea Formisano Universita' degli Studi di Perugia Enrico Franconi Free University of Bozen - Bolzano Marco Gavanelli Universita' degli Studi di Ferrara Chiara Ghidini Fondazione Bruno Kessler - Trento Laura Giordano Universita' del Piemonte Orientale "A. Avogadro" (CHAIR) Valentina Gliozzi Universita' degli Studi di Torino (CHAIR) Francesca Alessandra Lisi Universita' degli Studi di Bari "Aldo Moro" Marco Maratea Universita' degli Studi di Genova Alberto Martelli Universita' degli Studi di Torino Alessandra Mileo National University of Ireland, Galway Marianna Nicolosi Asmundo Universita' degli Studi di Catania Nicola Olivetti Aix-Marseille University (AMU), Francia Eugenio Omodeo Universita' degli Studi di Trieste Fabio Patrizi DIAG - Sapienza Universita' di Roma Alberto Pettorossi Universita' di Roma Tor Vergata Enrico Pontelli New Mexico State University Gian Luca Pozzato Universita' degli Studi di Torino (CHAIR) Maurizio Proietti IASI - Consiglio Nazionale delle Ricerche Alessandro Provetti Universita' degli Studi di Messina Luca Pulina Universita' degli Studi di Sassari Francesco Ricca Universita' della Calabria Fabrizio Riguzzi Universita' degli Studi di Ferrara Gianfranco Rossi Universita' degli Studi di Parma Pietro Sala Universita' degli Studi di Verona Luigi Sauro Universita' degli Studi di Napoli "Federico II" Umberto Straccia Istituto di Scienza e Tecnologie - ISTI-CNR, Pisa Paolo Torroni Universita' di Bologna ------------------------------------------------------------------------ *Comitato organizzatore* ***************************** Laura Giordano, Universita' del Piemonte Orientale Valentina Gliozzi, Universita' di Torino Adam Jalal, BE/CO/DA CERN, Ginevra Gian Luca Pozzato, Universita' di Torino Matteo Spiotta, Universita' di Torino Daniele Theseider Dupre', Universita' del Piemonte Orientale ------------------------------------------------------------------------ *Modalita' di sottomissione dei contributi* *********************************************** Si sollecita la sottomissione di contributi in formato elettronico (PDF). Il processo di sottomissione e valutazione di articoli sara' gestito tramite Easychair. Gli articoli potranno essere scritti in inglese o in italiano e non dovranno eccedere le 15 pagine per i lavori completi o le 5 pagine per i lavori brevi. Il formato preferito per la preparazione dei lavori e' il formato standard della serie LNCS (http://www.springer.de/comp/lncs/index.html). Gli articoli accettati dovranno essere presentati al convegno. Pagina per la sottomissione dei contributi: https://www.easychair.org/conferences/?conf=cilc2014 ------------------------------------------------------------------------ *Dimostrazioni (Demo)* *************************** Sono benvenute proposte per la presentazione di demo di sistemi e prototipi software, realizzati in ambito di ricerca o industriale, che utilizzino tecniche e strumenti connessi con la Logica Computazionale o che costituiscano essi stessi strumenti utili allo sviluppo di applicazioni basate sulla Logica Computazionale. Le proposte devono includere una breve descrizione, preparata seguendo le modalita' previste per i lavori brevi, e la specifica dell'attrezzatura hardware e software richiesta. ------------------------------------------------------------------------ *Atti del convegno* ********************** Gli articoli originali presentati al convegno (completi o brevi) verranno pubblicati su CEUR-WS.org. Si valutera' inoltre la possibilita' che una selezione di articoli originali presentati al convegno possa essere pubblicata in un numero speciale di una rivista scientifica internazionale. Il convegno e' un evento organizzato dal GULP (Gruppo ricercatori e Utenti Logic Programming). I partecipanti italiani al convegno devono essere soci del GULP; l'iscrizione all'associazione puo' essere effettuata contestualmente all'evento. ------------------------------------------------------------------------ Maggiori informazioni possono essere reperite sul sito web della conferenza: http://www.programmazionelogica.it/cilc-2014/ oppure contattando direttamente gli organizzatori: Laura GIORDANO Dipartimento di Scienze e Innovazione Tecnologica - Istituto di Informatica Universita' del Piemonte Orientale "Amedeo Avogadro" Viale Teresa Michel 11 - 15121 Alessandria Email: laura.giordano@mfn.unipmn.it Telefono: +39 0131 360160 Valentina GLIOZZI Dipartimento di Informatica Universita' degli Studi di Torino corso Svizzera 185 - 10149 Torino Email: valentina.gliozzi@unito.it Telefono: +39 011 670 67 48 Gian Luca POZZATO Dipartimento di Informatica Universita' degli Studi di Torino corso Svizzera 185 - 10149 Torino Email: gianluca.pozzato@unito.it Telefono: +39 011 670 68 48