[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