Logic and Theory of Algorithms
Print this page
Local Arrangements
Home page
Local Arrangements
Accommodation
Registration
Sponsors
Childcare Programme
Mentoring Programme
Grants
Contact Info
Organising Committee
Conference Photo
Further Photos
Scientific Programme
Tutorials
Invited Talks
Special Sessions
Contributed Talks
Women in Computability
Schedule
Scientific Arrangements
CiE 2008
CiE Network and Series
Programme Committee
Publications
Pre- and Post-conference Publications
Call for Papers
Paper Submission
Information for Authors
Informal Presentations
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
|
Ministry of National Education and Religious Affairs
Kleos S.A.
| websites: Arnold Beckmann | 2010-10-04
|