Wednesday
Thursday
Friday
Saturday
The organizers of CiE 2005 cordially invite researchers working in all areas of computability theory, ranging from mathematics to computer science, to participate in the conference taking place in Amsterdam in June 2005.
CiE 2005 is an interdisciplinary venue for researchers from computer science and mathematics focusing on New Computational Paradigms. These include prominently connections between computation and physical systems but also higher mathematical models of computation. The researchers from the different communities will exchange ideas, approaches and techniques in their respective work, thereby generating a wider community for work on computational issues that allows uniform approaches to diverse areas, the transformation of theoretical ideas into applicable projects, and general cross-fertilization transcending disciplinary borders.
PLENARY TALKS:
Three-hour tutorials - Harry Buhrman (Amsterdam), Klaus Weihrauch (Hagen).
Plenary talks - Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Jan van Leeuwen (Utrecht), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens/Los Angeles CA), Gheorghe Paun (Bucharest), Uwe Schoening (Ulm).
Introductory lecture - Andrew Hodges (Oxford).
SPECIAL SESSIONS:
Biological Computation
Organiser: Thomas Baeck (Leiden).
Complexity
Organiser: Elvira Mayordomo (Zaragoza).
Epistemology and Methodology of Computing
Organisers: Hartmut Fitz (Amsterdam) and Guglielmo Tamburrini (Pisa).
Proofs and Computation
Organisers: Arnold Beckmann (Swansea) and Laura Crosilla (Firenze).
Real Computation
Organiser: Abbas Edalat (Imperial College, London).
Relative Computation
Organisers: Barry Cooper (Leeds) and Andrea Sorbi (Siena).