[CiE] CiE 2007 - Call for Participation

[CiE] CiE 2007 - Call for Participation

Post by pmt6sb » Fri, 30 Mar 2007 23:26:57


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

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)