[text version], [versione italiana]
Since the first conference, which took place in Genoa in 1986, the annual conference organized by GULP is the most important occasion for meeting and exchanging ideas and experiences between users, researchers and developers, who work in the field of computational logic. The 25th annual conference will be hosted by the Department of Mathematics of the University of Calabria from July 7th to July 9th, 2010.
During its 24 years of recurrence, the annual conference organized by GULP has continually widened its horizons from the field of traditional logic programming to the more general areas of declarative programming and its applications in various neighboring fields, such as Artificial Intelligence or Deductive Databases. Also in this year's conference, the Italian Association of Logic Programming wants to continue and possibly widen this policy, using the general term Computational Logic for integrating the various research fields, which use in direct or indirect, practical or theoretical ways or just addresses the ideas or tecniques of logic as a tool for representation and calculation.
Gerhard Brewka, University of Leipzig, Germany
Gerhard Friedrich, Alpen-Adria University Klagenfurt, Austria
Axel Polleres, National University of Ireland, Ireland
Agostino Dovier, University of Udine, Italy
The conference will feature presentations of refereed contributions, including the demonstration of software prototypes.
The conference invites two types of submissions: Full papers, possibly already submitted at other conferences or journals, and short papers, which are particularly apt for presenting work in progress, software prototypes, extended abstracts of doctoral theses, or general overviews of research projects.
The topics of interest for the conference include, but are not limited to, the following areas:
Wolfgang Faber, University of Calabria, Italy
Nicola Leone, University of Calabria, Italy
Alessandro Artale, Free University Bolzano, Italy
Matteo Baldoni, University of Torino, Italy
Marcello Balduccini, Eastman Kodak Research Labs, USA
Stefano Bistarelli, University of Chieti-Pescara, Italy
Antonio Brogi, University of Pisa, Italy
Francesco Buccafurri, University "Mediterranea" of Reggio Calabria, Italy
Francesco Calimeri, University of Calabria, Italy
Luciano Caroprese, University of Calabria, Italy
Stefania Costantini, University of L'Aquila, Italy
Alessandro Dal Palů, University of Parma, Italy
Andrea Formisano, University of Perugia, Italy
Marco Gavanelli, University of Ferrara, Italy
Domenico Lembo, University of Roma "La Sapienza", Italy
Donato Malerba, University of Bari, Italy
Marco Maratea, University of Genova, Italy
Alessandra Mileo, University of Milano-Bicocca, Italy
David Pearce, Universidad Politécnica de Madrid, Spain
Carla Piazza, University of Udine, Italy
Maria Silvia Pini, University of Padova, Italy
Axel Polleres, National University of Ireland, Ireland
Enrico Pontelli, New Mexico State University, USA
Maurizio Proietti, IASI-CNR, Italy
Alessandro Provetti, University of Messina, Italy
Fabrizio Riguzzi, University of Ferrara, Italy
Sabina Rossi, University Ca' Foscari of Venezia, Italy
Fausto Spoto, University of Verona, Italy
Paolo Torroni, University of Bologna, Italy
Dirk Vermeir, Vrije Universiteit Brussel, Belgium
Stefan Woltran, Vienna University of Technology, Austria
Francesco Calimeri, University of Calabria, Italy
Francesco Ricca, University of Calabria, Italy
Mario Alviano, University of Calabria, Italy
Susanna Cozza, University of Calabria, Italy
Gianluigi Greco, University of Calabria, Italy
Giovambattista Ianni, University of Calabria, Italy
Marco Manna, University of Calabria, Italy
Marco Marano, University of Calabria, Italy
Simona Perri, University of Calabria, Italy
Marco Sirianni, University of Calabria, Italy
Pierfrancesco Veltri, University of Calabria, Italy
Authors are invited to submit their manuscripts in PDF via the easychair system. Articles may be written in English or Italian and must not exceed 15 pages for full papers, respectively 5 pages for short papers. Manuscripts should be formatted using the Springer LNCS style. Accepted articles have to be presented at the conference.
Submissions of system or prototype software descriptions are invited, which use techniques or instruments of Computational Logic, or which are themselves systems which aid the development of applications based on Computational Logic. Systems of both research and industrial character are welcome. Descriptions should be submitted in the form of short papers (5 pages); at the confernce a demonstration of the software should be given.
The papers presented at the conference (both full and short) will be published via CEUR-WS.org.
Selected original contributions will be invited for a special issue of Theory and Practice of Logic Programming.
The conference is an event organized by GULP (Gruppo ricercatori e Utenti di Logic Programming). Italian participants of the conference have to be members of GULP; participants can join GULP at the event.
More information can be obtained by contacting Wolfgang Faber or Nicola Leone.