18-23 June 2007
Siena, Italy
************************************************************
CiE 2007
http://www.mat.unisi.it/newsito/cie07.html
Computability in Europe 2007: Computation and Logic in the Real World
University of Siena
Siena, 18-23 June 2007
CALL FOR PARTICIPATION
CiE 2007 will address various aspects of the ways computability and
theoretical computer science enable scientists and philosophers to deal
with mathematical and real world issues, ranging through problems related
to logic, mathematics, physical processes, natural computing, real
computation and learning theory. At the same time it will focus on
different ways in which computability emerges from the real world, and
how this affects our way of thinking about everyday computational issues.
The CiE conference series has become a primary focus for basic and
applied research into a full range of computability related issues,
and CiE is the largest such international meeting.
DEADLINE FOR EARLY REGISTRATION: May 18, 2007
DEADLINE FOR SUBMITTING INFORMAL PRESENTATIONS: April 27, 2007
All presenters of informal presentations, are eligible to be invited to
submit a full journal version of their talk to one of the post-conference
publications - see:
http://www.amsta.leeds.ac.uk/~pmt6sbc/cie07.jour.html
LOCATION
Siena is one of Italy's best preserved medieval towns, located in the
heart of Tuscany. Siena, built on three hills and surrounded by well
preserved walls, is filled with fine examples of Gothic architecture and
has one of the world's most unique piazzas - il Campo. The world-famous
Palio, which takes place in the Campo, is an important part of Sienese
identity, history and culture.
CiE 2007 takes place just 6 days before the start of the Palio on
29 June, 2007. Siena makes an excellent base for other excursions in
Tuscany, as it is not far from charming towns such as San Gimignano,
Pienza, and towns world famous for wine, such as Montalcino and
Montepulciano. Florence and Pisa too are within easy reach.
INVITED TUTORIAL AND PLENARY SPEAKERS:
Pieter Adriaans (Amsterdam)
Kobi Benenson (Harvard)
Anne Condon (Vancouver)
Stephen Cook (Toronto)
Yuri Ershov (Novosibirsk)
Wolfgang Maass (Graz)
Sophie Laplante (Paris)
Anil Nerode (Cornell)
George Odifreddi (Turin)
Roger Penrose (Oxford)
Michael Rathjen (Leeds)
Dana Scott (Carnegie Mellon)
Robert I. Soare (Chicago)
Philip Welch (Bristol)
SPECIAL SESSIONS:
* Doing without Turing Machines: Constructivism and Formal Topology
* Approaches to Computational Learning
* Real Computation
* Computability and Mathematical Structure
* Complexity of Algorithms and Proofs
* Logic and New Paradigms of Computability
* Computational Foundations of Physics and Biology
INVITED SPECIAL SESSIONS SPEAKERS:
Eric Allender (Rutgers)
Andrej Bauer (Ljubljana)
Vasco Brattka (Cape Town)
Douglas Bridges (Canterbury, NZ)
John Case (Newark, Delaware)
Pieter Collins (Amsterdam)
Thierry Coquand (Goeteborg)
Felix Costa (Lisbon)
Barbara F. Csima (Waterloo)
Abbas Edalat (London)
Martin Escardo (Birmingham)
Joerg Flum (Freiburg)
Sergey S. Goncharov (Novosibirsk)
Hajime Ishihara (Tokyo)
Natasha Jonoska (Tampa, Florida)
Michal Koucky (Prague)
James Ladyman (Bristol)
Maria Emilia Maietti (Padua)
Giancarlo Mauri (Milan)
Klaus Meer (Odense)
Itamar Pitowsky (Jerusalem)
Robert Rettinger (Hagen)
Grzegorz Rozenberg (Leiden)
Frank Stephan (Singapore)
Neil Thapen (Prague)
Christopher Timpson (Leeds)
Giuseppe Trautteur (Naples)
Heribert Vollmer (Hannover)
Osamu Watanabe (Tokyo)
Jiri Wiedermann (Prague)
Damien Woods (Cork)
Liang Yu (Nanjing)
Martin Ziegler (Paderborn)
WOMEN IN COMPUTABILITY WORKSHOP in association with the Computer Research
Association's Committee on the Status of Women in Computing Research (CRA-W)
Organisers: Paola Bonizzoni, Elvira Mayordomo. Speakers: Anne Condon (Vancouver),
Natasha Jonoska (Florida), Carmen Leccardi (Milan), and Andrea Cerroni (Milan)
PROGRAMME COMMITTEE:
M. Agrawal (Kanpur) M. Arslanov (Kazan)
G. Ausiello (Roma) A. Bauer (Ljubljana)
A. Beckmann (Swansea) U. Berger (Swansea)
P. Bonizzoni (Milan) A. Cantini (Firenze)
B. Cooper (Leeds, co-chair) L. Crosilla (Firenze)
J. Diaz (Barcelona) C. Dimitracopoulos (Athens)
F. Ferreira (Lisbon) S. Goncharov (Novosibirsk)
P. Gruenwald (Amsterdam) D. Harel (Rehovot)
A. Hodges (Oxford) J. Kempe (Paris)
G. Longo (Paris) B. Loewe (Amsterdam)
J. Makowsky (Haifa) E. Mayordomo Camara (Zaragoza)
W. Merkle (Heidelberg) F. Montagna (Siena)
D. Normann (Oslo) T. Pheidas (Heraklion)
G. Rozenberg (Leiden) G. Sambin (Padova)
H. Schwichtenberg (Muenchen) W. Sieg (Carnegie Mellon)
A. Sorbi (Siena, co-chair) I. Soskov (Sofia)
P. van Emde Boas (Amsterdam)
CONFIRMED SPONSORS OF CiE 2007: AILA (Associazione Italiana di Logica e
Applicazioni), EATCS (European Association for Theoretical Computer
Science), ASL (Association for Symbolic Logic), EACSL (European Association
for Computer Science Logic), FoLLI (The Association of Logic, Language
and Information), GNSAGA-INdAM (Gruppo Nazionale per le Strutture
Algebriche e Geometriche e loro Applicazioni-Istituto NAzionale di
Alta Matematica), Banca Monte Dei Paschi Di Siena, and The
University of Siena.
CiE 2007 will be co-located with CCA 2007, the annual CCA (Computability
and Complexity in Analysis) Conference (Siena, College Santa Chiara,
June 16-18, 2007):
http://cca-net.de/cca2007/
================================================================
Andrea Sorbi
Dipartimento di Scienze Matematiche ed Informatiche "Roberto Magari"
Pian dei Mantellini 44
53100 Siena, Italy
Phone: 0039-0577-233727
Fax: 0039-0577-233730