-------- Original-Nachricht -------- Betreff: LMCS06: Workshop on LOGIC, MODELS AND COMPUTER SCIENCE Datum: Wed, 07 Dec 2005 16:19:17 +0100 Von: Flavio Corradini flavio.corradini@unicam.it Firma: "OptimaNumerics" An: Computational Science Mailing List computational.science@lists.optimanumerics.com
Workshop on LOGIC, MODELS AND COMPUTER SCIENCE
In memory of Sauro Tulipani
Camerino (Italy), April 20-22, 2006
Sponsored by AILA (Italian Association of Logic and Applications)
http://www.unicam.it/matinf/lmcs06
Supported by: University of Camerino, Italy
AIMS OF THE WORKSHOP
Mathematical Logic has been contributing in a relevant way to the birth and the development of Computer Science. Accordingly the AILA Logic, Models and Computer Science workshop LMCS06 just aims at bringing together researchers interested in the interactions between Mathematical Logic and several fields in Computer Science. LMCS06 wishes also to honour the memory of Sauro Tulipani, who so largely and brilliantly, and for so many years contributed to this research area. Hence the workshop will focus in particular on Sauro's main research interests - computability and computational complexity, - uncertainty logic, but it will also deal with other topics such as - logic of concurrency, - game semantics and further themes concerned with the relationship between Mathematical Logic and Computer Science.
SUBMISSIONS:
Submissions may be of two forms:
- Short papers (not included in the proceedings): up to 4 pages, typeset 11 points - Full papers: up to 12 pages, typeset 11 points (excluding bibliography and technical appendices)
Simultaneous submission to other conferences or journals is only allowed for short papers. Submissions may already use the ENTCS-style format.
PUBLICATION OF THE PROCEEDINGS:
The proceedings will be published after the workshop in the ENTCS (Electronic Notes in Theoretical Computer Science).
A printed preliminary version of the proceedings will be available at the workshop. Authors will be asked to prepare their final version using the ENTCS-style format.
Authors of selected papers will be invited after the workshop to submit for publication of a full version in a Special Issue of the Mathematical Structures in Computer Science; those submissions will then be subject to a separate reviewing procedure matching the standards of the journal.
IMPORTANT DATES:
Deadline for Paper Submission: February 4, 2006 Notification to Authors: March 15, 2006 Final Version of Accepted Papers due: April 1, 2006
INVITED SPEAKERS (PROVISIONAL LIST)
Luca Aceto (Aalborg, Denmark/Reykjavik, Iceland) Riccardo Camerlo (Polytechnic Turin, Italy) Andrea Capotorti/Marco Baioletti (Perugia, Italy) Rocco De Nicola (Florence, Italy) Mariangiola Dezani (Turin, Italy) Wilfrid Hodges (QMUL London, UK) Giuseppe Longo (ENS Paris, France) Angus Macintyre (QMUL London, UK) Johann Makowski (Technion-Israel Institute of Technology, Haifa, Israel) Daniele Mundici (Florence, Italy) Giovanni Sambin (Padua, Italy)
PROGRAM CO-CHAIRS:
Flavio Corradini (University of Camerino, Italy) Carlo Toffalori (University of Camerino, Italy)
PROGRAM COMMITTEE:
Rajeev Alur, Pennsylvania, USA Flavio Corradini (co), Camerino, Italy Zoltan Esik, Szeged, Hungary/Tarragona, Spain Annalisa Marcja, Florence, Italy Simone Martini, Bologna, Italy Alberto Policriti, Udine, Italy Simona Ronchi Della Rocca, Turin, Italy Carlo Toffalori (co), Camerino, Italy
ORGANIZING COMMITTEE:
Patrizio Cintioli, Camerino, Italy Flavio Corradini, Camerino, Italy Stefano Leonesi, Camerino, Italy Sonia L'Innocente, Camerino, Italy Emanuela Merelli, Camerino, Italy Carlo Toffalori, Camerino, Italy
FOR FURTHER INFORMATION CONTACT
flavio.corradini@unicam.it carlo.toffalori@unicam.it
--------------------------------------------------------------------- To unsubscribe, e-mail: computational.science-unsubscribe@lists.optimanumerics.com For additional commands, e-mail: computational.science-help@lists.optimanumerics.com
Computational Science mailing list hosting is provided by OptimaNumerics (http://www.OptimaNumerics.com) ---------------------------------------------------------------------