INVITED SPEAKERS

- Jacques Sakarovitch -- CNRS / Paris Diderot University and Telecom ParisTech, France
  Invited talk: The Complexity of Carry Propagation for Successor Functions   Abstract
- Peter Selinger -- Dalhousie University, Halifax, Canada
  Invited talk: Efficient synthesis of quantum circuits by number-theoretic methods   Abstract
        (No knowledge of quantum computing or number theory will be assumed)
- Ludwig Staiger -- Martin-Luther-Universität, Germany
  Invited talk: Finite Automata and Randomness   Abstract

---