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 2010-10-04