Each special session will have four speakers, each of which will have 30 min for their talk.
Below you can find a schedule of the talks.
Special Sessions
Proofs and Computation Faraday D 
Foundations of Programming Faraday B 
Mathematical Models of Computers and Hypercomputers Faraday C 


July 1st, 16:0016:30  Kai Brünnler  Roland Backhouse Datatype[..].pdf 
JeanCharles Delvenne delvenne.ppt 
July 1st, 16:3017:00  Roy Dyckhoff Dyckhoff[..].pdf 
Klaus Meer swansea[..].pdf 

July 2nd, 10:3011:00  Thomas Ehrhard cie06eh[..].pdf 
Alban Ponse c06.pdf 
Benedikt Löwe 
July 2nd, 11:0011:30  Georges Gonthier  Erika Ábrahám abraham.pdf 
Philip Welch 
Computable Analysis Faraday A 
Challenges in Complexity Faraday B 
Gödel Centenary: His Legacy for Computability Faraday C 

July 4th, 16:0016:30  Margarita Korovina cie_06.pdf 
Sophie Laplante CiE.pdf 
Wilfried Sieg 
July 4th, 16:3017:00  Paulo Oliva swansea.pdf 
Johann A. Makowsky swansea.pdf 
Arnon Avron cie.pdf 
July 5th, 10:3011:00  Xizhong Zheng  Johannes Köbler vgicie.pdf 
Andrew Hodges 
July 5th, 11:0011:30  Matthias Schroeder schroede[..].ps 
Mihai Prunescu swanslid[..].pdf 
Richard Zach ciebeam.pdf 
websites: Arnold Beckmann  20060710 