Confirmed speakers
Mario Arioli | University of Wuppertal, Germany | slides (0.5Mb) |
Gabriel Barrenechea | University of Strathclyde, UK | slides (0.6Mb) |
Philip Browne | University of Reading, UK | slides (13Mb) |
Andreas Dedner | University of Warwick, UK | slides (3.5Mb) |
Emmanuil Georgoulis | University of Leicester, UK | slides (7Mb) |
Paul Houston | University of Nottingham, UK | slides (46Mb) |
Uwe Köcher | Helmut Schmidt University Hamburg, Germany | slides (3.3Mb) |
Natalia Kopteva | University of Limerick, Ireland | slides (0.6Mb) |
Omar Lakkis | University of Sussex, UK | slides (0.8Mb) |
Carlo Marcati | UPMC, University of Paris VI, France | slides (0.6Mb) |
Dirk Praetorius | Vienna University of Technology, Austria | slides (1.2Mb) |
David Silvester | University of Manchester, UK | slides (0.3Mb) |
Rob Stevenson | University of Amsterdam, Netherlands | slides (4.7Mb) |
Martin Vohralík | INRIA Paris-Rocquencourt, France | slides (1.9Mb) |