Computability in Europe 2008
Logic and Theory of Algorithms

Tutorials and Invited Talks

We will have two Tutorial Speakers (giving 3x1h lectures each) and eight Invited Speakers and one Invited Special Address (giving 1h lectures each).


picture John V. Tucker (Swansea) Applied Computability: A European Perspective
picture Moshe Y. Vardi (Houston TX) Logic, Automata, Games, and Algorithms

Opening Lecture

picture Keith Devlin (Stanford CA) The Computing Species

Invited Talks

picture Rosalie Iemhoff (Utrecht) Proof systems for admissibility
picture Antonina Kolokolova (St. John's NL) Many facets of complexity in logic
picture Johann Makowsky (Haifa) Uniform algebraic reducibilities between parameterized numeric graph invariants
picture Dag Normann (Oslo) 50 years of continuous functionals
picture Prakash Panangaden (Montréal QC) Domain theory and the causal structure of space-time
picture Christos Papadimitriou (Berkeley CA) On Nash, Brouwer, and other non-constructive proofs
picture Jiří Wiedermann (Prague)
picture and Jan van Leeuwen (Utrecht) How We Think of Computing Today

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