Each special session will have four speakers, each of which will have 30 min for their talk.
Below you can find a timetable of the talks.
Special Sessions
Formalising Mathematics and Extracting Algorithms from Proofs | Quantum Algorithms and Complexity | Algorithmic Game Theory | |
---|---|---|---|
Drakopoulos | Propylaia | Senate | |
June 16th, 14:30-15:10 | Lawrence C Paulson | Matthias Christandl | Troels Bjerre Sørensen |
-15:14 | discussion | discussion | discussion |
15:15-15:55 | John Harrison | Peter Richter | Hugo Gimbert |
-15:59 | discussion | discussion | discussion |
Drakopoulos | Amphitheater A | Amphitheater B | |
June 17th, 14:30-15:10 | Pierre Letouzey | Dan Browne | Rahul Savani |
-15:14 | discussion | discussion | discussion |
15:15-15:55 | Christophe Raffalli | Ross Duncan | Constantinos Daskalakis |
-15:59 | discussion | discussion | discussion |
Higher-Type Recursion and Applications | Biology and Computation | Algorithms in the History of Mathematics | |
Drakopoulos | Amphitheater A | Amphitheater B | |
June 18th, 14:30-15:10 | Colin Riba | Mark Daley | Jens Høyrup |
-15:14 | discussion | discussion | discussion |
15:15-15:55 | Ralph Matthes | Erzsébet Csuhaj-Varjú | Andréa Bréard |
-15:59 | discussion | discussion | discussion |
June 19th, 14:30-15:10 | John Longley | Matteo Cavaliere | Harold Edwards |
-15:14 | discussion | discussion | discussion |
15:15-15:55 | Lars Kristiansen | Alessandra Carbone | Liesbeth De Mol and Maarten Bullynck |
-15:59 | discussion | discussion | discussion |
The lecture rooms Drakopoulos, Propylaia, and Senate are in the main building; Amphitheater A and B in the Foreign Languages building (7, Ipokratoys Street).
websites: Arnold Beckmann | 2008-06-14 |