LINKS
.
Home of DCFS 2018
DCFS conferences
Important Dates
Submission Information
Registration Information
Committees
Invited Speakers
Schedule (PDF)
Accepted Papers
Related Conferences
Travel Information
Accommodation
Conference Room (Map)


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

---