The organizers of CiE 2005 cordially invite researchers working in all areas of computability theory, ranging over mathematics, physics, philosophy and computer science, to participate in the conference taking place in Amsterdam in June 2005. This inaugural CiE conference promises to be the largest international meeting in computability related areas for some years.

There will be two three-hour tutorials, eight plenary talks, six special sessions with altogether 25 talks and over 50 contributed talks covering the entire range of research in computability theory.

PLENARY TALKS: http://www.illc.uva.nl/CiE/index.php?page=12

Three-hour tutorials - Harry Buhrman (Amsterdam), Klaus Weihrauch (Hagen).

Plenary talks - Samson Abramsky (Oxford), Joel D. Hamkins (New York NY), Ulrich Kohlenbach (Darmstadt), Yuri Matiyasevich (St.Petersburg), Yiannis Moschovakis (Athens/Los Angeles CA), Gheorghe Paun (Bucharest), Uwe Schoening (Ulm).

Introductory lecture - Andrew Hodges (Oxford).

SPECIAL SESSIONS: http://www.illc.uva.nl/CiE/index.php?page=6

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).

CONTRIBUTED PAPERS: http://www.illc.uva.nl/CiE/index.php?page=15

INFORMAL PRESENTATIONS: http://www.illc.uva.nl/CiE/index.php?page=17

REGISTRATION AND ACCOMMODATION: http://www.illc.uva.nl/CiE/index.php?page=13

REGISTRATION FORM: https://www.science.uva.nl/research/illc-secure/CiE/index.php?page=10

SPONSORSHIP:

The conference is sponsored/supported by the Association for Symbolic Logic (ASL), European Association for Theoretical Computer Science (EATCS), Netherlands Organisation for Scientific Research (NWO), Royal Netherlands Academy of Arts and Sciences (KNAW).

PROGRAM COMMITTEE:

Klaus Ambos-Spies (Heidelberg), Albert Atserias (Barcelona), Barry Cooper (Leeds, co-chair), Sergei Goncharov (Novosibirsk), Benedikt Loewe (Amsterdam, co-chair), Dag Normann (Oslo), Helmut Schwichtenberg (Muenchen), Andrea Sorbi (Siena), Ivan Soskov (Sofia), Leen Torenvliet (Amsterdam), John Tucker (Swansea), Johan van Benthem (Amsterdam/Stanford), Peter van Emde Boas (Amsterdam), Jiri Wiedermann (Praha).

ORGANISING COMMITTEE:

Stefan Bold, Barry Cooper, Samson de Jager, Benedikt Loewe, Leen Torenvliet, Peter van Emde Boas, Marjan Veldhuisen.