*********************************************************************** ,-------. ,-------. | GULP! | CILC 2010 | GULP! | \__ ___ ' 25th Italian Conference on Computational Logic \__ ___ ' \| http://www.mat.unical.it/CILC2010/ \| July 7-9, 2010, University of Calabria *********************************************************************** Event organized by GULP Gruppo ricercatori e Utenti di Logic Programming http://www-lia.deis.unibo.it/gulp ----------------------------------------------------------------------- ******** * News * ******** A selection of original articles presented at the conference will be published as a special issue of Theory and Practice of Logic Programming. Presentation of the book "25 Years of Logic Programming in Italy", edited by A. Dovier and E. Pontelli. Springer-Verlag LNCS Vol. 6125 Contents: http://sole.dimi.uniud.it/~agostino.dovier/25YLP/ ----------------------------------------------------------------------- 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. ----------------------------------------------------------------------- ******************** * Invited Speakers * ******************** * Gerhard Brewka (University of Leipzig, Germany) * Gerhard Friedrich (Alpen-Adria University Klagenfurt, Austria) ************ * Tutorial * ************ * Axel Polleres (National University of Ireland, Ireland) ************************************************************** * Book Presentation "25 Years of Logic Programming in Italy" * ************************************************************** * Agostino Dovier (University of Udine, Italy) ----------------------------------------------------------------------- ***************** * Contributions * ***************** 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: * Logic Programming, Constraint Programming and other paradigms of declarative programming * Extensions and integrations of declarative programming paradigms * Analysis, transformation, validation, and verification of programs * Instruments and environments for program development * Implementations and benchmarking * Model Checking * Automated Theorem Proving * Non-Monotonic Reasoning * Answer Set Programming * Knowledge representation and extraction * Treatment of uncertain and incomplete knowledge * Approximate Reasoning * Abductive Logic Programming * Model-based Reasoning * Inductive Logic Programming * Deductive Databases * Data Mining and Data Integration * Multi-agent systems * Semantic Web * Natural Language Processing * Computational logic for concurrency, coordination, mobility and objects * Planning and scheduling * Probabilistic Logic Programming ----------------------------------------------------------------------- ******************* * Important Dates * ******************* * Paper and demo submission: April 5, 2010 * Notification of acceptance: May 21, 2010 * Final version due: June 7, 2010 * Conference CILC'10: July 7-9, 2010 ----------------------------------------------------------------------- *********************** * Programme Committee * *********************** Coordinators: * 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 Rome "La Sapienza", Italy) * Donato Malerba (University of Bari, Italy) * Marco Maratea (University of Genoa, 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) ----------------------------------------------------------------------- ************************ * Organizing Committee * ************************ Coordinators: * Francesco Ricca * Francesco Calimeri * Mario Alviano * Susanna Cozza * Gianluigi Greco * Giovambattista Ianni * Marco Manna * Marco Marano * Simona Perri * Marco Sirianni * Pierfrancesco Veltri ----------------------------------------------------------------------- *************************** * Submission Instructions * *************************** 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 (http://www.springer.de/comp/lncs/index.html). Accepted articles have to be presented at the conference. ----------------------------------------------------------------------- ****************** * Demonstrations * ****************** 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. ----------------------------------------------------------------------- ************************** * Conference Proceedings * ************************** 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 found on the website of the conference: http://www.mat.unical.it/CILC2010/ or contacting directly Wolfgang Faber or Nicola Leone.