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 