Computability in Europe 2008
Logic and Theory of Algorithms

University of Athens
15 June - 20 June, 2008

CiE08 Poster

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



   Abstract Booklet


picture of caryatids
picture of acropolis_by_twilight
picture of hephasteion
Pictures courtesy of

picture of acropolis

(National and Kapodistrian) University of Athens Rizareio Foundation Graduate Programme in Logic and Algorithms (MPLA) John S. Latsis Foundation Bank of Greece City of Athens City of Athens

Association for Symbolic Logic  European Association for Theoretical Computer Science

The Elsevier Foundation European Association for Computer Science Logic

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