Detailed programme

subject to change (Version of September 8th).

Monday, 22nd September

9:00 Registration
9:30 Session "Lattices, Domains, Metric Spaces"
- Invited talk:
  Dana S Scott (CMU and UC Berkely) Semilattices and Domains
- Jimmie Lawson (Louisiana State) New Developments on the Formal Ball Domain
11:00 Tea break
11:30 Session "Lattices, Domains, Metric Spaces" (cont'd)
- Reinhold Heckmann (AbsInt) Similarity, Topology, and Uniformity
- Zhao Dongsheng (Nanyang TU, Singapore) Dcpo-completion of posets
- Pawel Waszkiewicz (Krakow) On Domain Theory over CDG Quantales
13:00 Lunch
14:00 Session "Computability"
- Invited talk:
  John Longley (University of Edinburgh)
  On the calculating power of Laplace's demon: physics, metaphysics and domain theory
- Martín Escardó (Birmingham) Computability of solutions of higher-type equations
- Paulo Oliva and Martín Escardó (Birmingham) On variants of modified bar recursion
16:00 Tea break
16:30 Session "Categories and Domains"
- Invited talk:
  Martin Hyland (Cambridge University) Some reasons for generalising domain theory
- Paul Taylor Equideductive Logic and CCCs with Subspaces
- Dirk Hofmann (Univ Aveiro) Continuous V-categories
18:30 End of First Day

Tuesday, 23rd September

Denotational Semantics Day

9:00 Session "Sequentiality, Concurrency and Nondeterminism"
- Invited talk:
  Gordon Plotkin (Universities of Edinburgh and Stanford), Martín Abadi (Santa Cruz) A Model of Cooperative Threads
- Jim Laird (Bath) Sequential Algorithms for Unbounded Nondeterminism
- Thomas Streicher (TU Darmstadt), Bernhard Reus (Sussex)
  Towards a Logic of Sequential Computation: A synthetic account of Sequential Domain Theory
11:00 Tea break
11:30 Session "Possible World Semantics"
- Lars Birkedal, Kristian Stovring, Jacob Thamsborg (ITU Copenhagen)
  Possible World Semantics for Impredicative Polymorphism, References,and Recursive Types
- Rasmus Møgelberg (ITU Copenhagen) From Parametric Polymorphism to Models of Polymorphic FPC
- Dominique Larchey-Wendling (LORIA-CNRS) Kripke Models of Boolean BI and Invertible Resources
13:00 Lunch
14:00 Session "Semantics of Name Abstraction"
- Invited talk:
  Andrew Pitts (Cambridge University) An Invitation to Nominal Domain Theory
- Daniela Petrisan, Alexander Kurz (Leicester) Equational logic for higher-order abstract syntax
15:30 Tea break
16:00 Session "Domains and Logic"
- Alexander Kurz (Leicester), Clemens Kupke, Yde Venema Completeness of Moss's Coalgebraic Logic
- Paul Blain Levy (Birmingham) Modal properties of recursively defined commands
17:00 Session "Real Number Computation"
- Josè Raymundo Marcial-Romero (Autonoma Mexico), M. Andrew Moshier First-order definability of LRT
- Uli Berger (Swansea) A coinductive approach to digital computation
18:00 End of Second Day
20:00 Conference Dinner in Brighton

Wednesday, 24th September

9:00 Session "Probability and Powerdomains"
- Invited talk:
  Jean Goubault-Larrecq (LSV/ENS Cachan & CNRS) A Tale of Two Dualities
- Ernst-Erich Doberkat, Christoph Schubert (Dortmund) Basing Markov transitions on the Giry monad
- Petter Kristian Køber (Oslo) Power Domain Representations of Spaces of Compact Subsets
11:00 Tea break
11:30 Session "Domains and Topology"
- Ingo Battenfeld (Dortmund), Alex Simpson (Edinburgh)
  Two Probabilistic Powerdomains for Topological Domain Theory
- Anton Hedin (Uppsala) A continuous dcpo representation of regular formal topologies
- Nick Bezhanishvili, Alexander Kurz (Leicester), Guram Bezhanishvili (New State Mexico), David Gabelaia (King's College)
  Bitopological Duality for Distributive Lattices and Heyting Algebras
13:00 Lunch
14:00 Session "Domains and Topology" (cont'd)
- Dirk Pattinson (Imperial), A. Oomatia On the use of Domain-Theoretic Derivatives for Solving ODEs
- Invited talk:
  Klaus Keimel (TU Darmstadt) Some mathematical problems in domain theory
15:30 Tea break
16:00 End of Third Day, End of Workshop