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 | Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie08/conf-code.php on line 266 2008-06-14 |