| Introductory Remarks |
 |
Barry Cooper (Leeds) |
Computability in Europe |
| Special Lecture |
 |
Andrew Hodges (Oxford) |
Alan Turing: Logical and Physical |
| Tutorial |
 |
Harry Buhrman (Amsterdam) |
Quantum Computing |
| Tutorial |
 |
Klaus Weihrauch (Hagen) |
Computable Analysis |
| Invited Talk |
 |
Samson Abramsky (Oxford) |
Quantum Computation |
| Invited Talk |
 |
Joel D. Hamkins (New York NY) |
Infinitary Computability with Infinite Time Turing Machines |
| Invited Talk |
 |
Ulrich Kohlenbach (Darmstadt) |
Proof Mining in Functional Analysis |
| Invited Talk |
 |
Jan van Leeuwen (Utrecht) |
Interactive, adaptive and evolving computing (cancelled) |
| Invited Talk |
 |
Yuri Matiyasevich (St.Petersburg) |
Hilbert's 10th Problem and Paradigms of Computation |
| Invited Talk |
 |
Yiannis Moschovakis (Athens / Los Angeles CA) |
Recursion and Complexity. |
| Invited Talk |
 |
Gheorghe Paun (Bucharest) |
Membrane Computing. |
| Invited Talk |
 |
Uwe Schöning (Ulm) |
New Algorithmic Paradigms in Exponential Time Algorithms |
