[FOM] CiE 2005: Final Call for Participation
S B Cooper
pmt6sbc at maths.leeds.ac.uk
Fri May 27 10:06:14 EDT 2005
FINAL CALL FOR PARTICIPATION
COMPUTABILITY IN EUROPE 2005: NEW COMPUTATIONAL PARADIGMS (CiE 2005)
http://www.illc.uva.nl/CiE/
June 8 - June 12, 2005
Amsterdam, The Netherlands
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.
*************************************************************************
More information about the FOM
mailing list