[versione testuale], [english version]
Sin dal primo convegno 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. Il venticinquesimo convegno annuale avrà luogo presso il Dipartimento di Matematica dell'Università della Calabria nei giorni 7-9 luglio 2010.
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 rappresentazione e calcolo.
Gerhard Brewka, University of Leipzig, Germania
Gerhard Friedrich, Alpen-Adria University Klagenfurt, Austria
Axel Polleres, National University of Ireland, Irlanda
Agostino Dovier, Università di Udine, Italia
Il programma del convegno prevede la presentazione di contributi su argomenti specifici e la presentazione di prototipi software con le relative "demo".
È possibile sottoporre due tipologie di contributo: articoli completi (o "full papers"), eventualmente già 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, nonché presentazioni generali ("overview") di progetti di ricerca.
I temi di interesse per il convegno riguardano, ma non sono necessariamente limitati ai seguenti argomenti:
Wolfgang Faber, Università della Calabria, Italia
Nicola Leone, Università della Calabria, Italia
Alessandro Artale, Libera Università di Bolzano, Italia
Matteo Baldoni, Università di Torino, Italia
Marcello Balduccini, Eastman Kodak Research Labs, USA
Stefano Bistarelli, Università di Chieti-Pescara, Italia
Antonio Brogi, Università di Pisa, Italia
Francesco Buccafurri, Università "Mediterranea" di Reggio Calabria, Italia
Francesco Calimeri, Università della Calabria, Italia
Luciano Caroprese, Università della Calabria, Italia
Stefania Costantini, Università dell'Aquila, Italia
Alessandro Dal Palù, Università di Parma, Italia
Andrea Formisano, Università di Perugia, Italia
Marco Gavanelli, Università di Ferrara, Italia
Domenico Lembo, Università di Roma "La Sapienza", Italia
Donato Malerba, Università di Bari, Italia
Marco Maratea, Università di Genova, Italia
Alessandra Mileo, Università di Milano-Bicocca, Italia
David Pearce, Universidad Politécnica de Madrid, Spagna
Carla Piazza, Università di Udine, Italia
Maria Silvia Pini, Università di Padova, Italia
Axel Polleres, National University of Ireland, Irlanda
Enrico Pontelli, New Mexico State University, USA
Maurizio Proietti, IASI-CNR, Italia
Alessandro Provetti, Università di Messina, Italia
Fabrizio Riguzzi, Università di Ferrara, Italia
Sabina Rossi, Università Ca' Foscari di Venezia, Italia
Fausto Spoto, Università di Verona, Italia
Paolo Torroni, Università di Bologna, Italia
Dirk Vermeir, Vrije Universiteit Brussel, Belgio
Stefan Woltran, Technische Universität Wien, Austria
Francesco Calimeri, Università della Calabria, Italia
Francesco Ricca, Università della Calabria, Italia
Mario Alviano, Università della Calabria, Italia
Susanna Cozza, Università della Calabria, Italia
Gianluigi Greco, Università della Calabria, Italia
Giovambattista Ianni, Università della Calabria, Italia
Marco Manna, Università della Calabria, Italia
Marco Marano, Università della Calabria, Italia
Simona Perri, Università della Calabria, Italia
Marco Sirianni, Università della Calabria, Italia
Pierfrancesco Veltri, Università della Calabria, Italia
Si sollecita la sottoposizione di contributi in formato elettronico (Adobe PDF) via il sistema easychair. Gli articoli potranno essere scritti in inglese oppure in italiano e non dovranno eccedere le 15 pagine per i lavori completi o le 5 pagine per i lavori brevi. Il formato per la preparazione dei lavori è il formato standard della serie LNCS. Gli articoli accettati dovranno essere presentati al convegno.
Si sollecitano 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 di 5 pagine (come per i lavori brevi).
Gli articoli presentati al convegno (completi o brevi) verranno pubblicati su CEUR-WS.org.
Una selezione di articoli originali presentati al convegno sarà pubblicata in un numero speciale di Theory and Practice of Logic Programming.
Il convegno è un evento organizzato dal GULP (Gruppo ricercatori e Utenti di Logic Programming). I partecipanti italiani al convegno devono essere soci del GULP; l'iscrizione all'associazione può essere effettuata contestualmente all'evento.
Maggiori informazioni possono essere reperite contattando direttamente Wolfgang Faber o Nicola Leone.