Speakers
We are pleased to announce the following list of invited speakers for BCTCS 12:
- Rod Downey, School of Mathematics, Statistics and Operations Research, Victoria University of Wellington, New Zealand (LMS Keynote Speaker in Discrete Mathematics): Fundamentals of Parametrized Complexity.
- Mike Edmunds , School of Physics and Astronomy, University of Cardiff: The Antikythera Mechanism and the early history of mechanical computing.
- Reiner Hähnle, Fachbereich Informatik, Technische Universität, Darmstadt: Formal verification of software product families.
- Nicole Schweikardt Institut für Informatik, Goethe-Universität, Frankfurt am Main: On the expressive power of logics with invariant uses of arithmetic predicates.
Speakers