[TYPES/announce] CiE 2007 - Call for Participation

S B Cooper pmt6sbc at maths.leeds.ac.uk
Fri Mar 30 04:39:50 EDT 2007


************************************************************

                                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





More information about the Types-announce mailing list