Domains X Workshop 2011

Swansea, Dept. of Computer Science, Wales, UK,
5 - 7 September 2011

Picture of Swansea University

Invited Speakers

  • Lars Birkedal, IT University of Copenhagen (Denmark),
    Title: First steps in synthetic guarded domain theory step-indexing in the topos of trees,
  • Nick Benton, Microsoft Research Cambridge (UK),
    Title: Ultrametric Spaces and Reactive Programming
  • Margarita Korovina, University of Manchester (UK),
    Title: Time Optimal Control for Polynomial Dynamical Systems
  • Dag Normann, University of Oslo (Norway),
    Title: Fixed point computability of total functionals,
  • John Power, University of Bath (UK),
    Title: An Historical Reflection on Monads as Notions of Computation
  • Matija Pretnar, University of Ljubljana (Slovenia),
    Title: The f-calculus,
  • Thomas Streicher, University of Darmstadt (Germany),
    Title: Quantum Theory in Topological Domain Theory,
  • Jeff Zucker, McMaster University (Canada),
    Title: Analog systems: Continuity and Computability.

Contact: Ulrich Berger (, Jens Blanck(,
Monika Seisenberger (,
Department of Computer Science, Swansea University, Singleton Park, Swansea SA28PP