Logic List Mailing Archive

CiE 2005: New Computational Paradigms; June 2005 (Amsterdam)

Computability in Europe 2005:
New Computational Paradigms
ILLC (Amsterdam), June 8-12, 2005

http://www.illc.uva.nl/CiE/CiE2005.html

The conference CiE2005 will cover many aspects of "Computability in
Europe" (CiE), with a particular focus on New Computational Paradigms.
These include prominently higher mathematical models of computation (e.g.,
infinitary computation or real computation), and connections between
computation and physical systems (e.g., quantum computation, neural nets,
molecular computation).

There will be tutorials on Quantum Computing (H. Buhrman) and Computable
Analysis (K. Weihrauch). Invited Speakers include: 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), Uwe Sch?ning (Ulm), Viggo
Stoltenberg-Hansen (Uppsala)

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

A Call for Papers will follow in Fall 2004.