Tutorial speakers: John V. Tucker (Swansea), Moshe Y. Vardi (Houston TX)

Special Opening Lecture: Keith Devlin (Stanford CA)

Invited plenary speakers: Rosalie Iemhoff (Utrecht), Antonina Kolokolova (Vancouver BC), Johann Makowsky (Haifa), Dag Normann (Oslo), Prakash Panangaden (Montréal QC), Christos Papadimitriou (Berkeley CA), Jan van Leeuwen (Utrecht) & Jiří Wiedermann (Prague)

Special Sessions: Algorithms in the history of mathematics (organized by Jens Høyrup, Roskilde, and Karine Chemla, Paris)       Formalising mathematics and extracting algorithms from proofs (organized by Henk Barendregt, Nijmegen, and Monika Seisenberger, Swansea)       Higher-type recursion and applications (organized by Ulrich Berger, Swansea, and Dag Normann, Oslo)       Algorithmic game theory (organized by Elias Koutsoupias, Athens, and Bernhard von Stengel, London)       Quantum Algorithms and Complexity (organized by Viv Kendon, Leeds, and Bob Coecke, Oxford)       Biology and Computation (organized by Natasha Jonoska, Tampa FL, and Giancarlo Mauri, Milano)

Organising Committee: Dionysis Anapolitanos, Arnold Beckmann, Costas Dimitracopoulos (chair), Michael Mytilinaios (died March 12, 2007), Athanasios Pheidas, Stathis Zachos

  News

12.01.09
   Abstract Booklet
   online

Pictures courtesy of www.aviewoncities.com