The programme now contains slides of talks if available.## Monday, 22nd September

## Tuesday, 23rd September

**Denotational Semantics Day**
## Wednesday, 24th September

Note that in case of several authors, the first mentioned author delivered the talk.

- 9:00
**Registration** - 9:30
**Session "Lattices, Domains, Metric Spaces"**- Invited talk:

Dana S Scott (CMU and UC Berkely) Semilattices and Domains [Slides] - Jimmie Lawson (Louisiana State) New Developments on the Formal Ball Domain [Slides]

- Invited talk:
- 11:00
**Tea break** - 11:30
**Session "Lattices, Domains, Metric Spaces" (cont'd)**- Reinhold Heckmann (AbsInt) Similarity, Topology, and Uniformity [Slides]
- Zhao Dongsheng (Nanyang TU, Singapore) Dcpo-completion of posets [Slides]
- Pawel Waszkiewicz (Krakow) On Domain Theory over CDG Quantales [Slides]

- 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 [Slides]

- Invited talk:
- 16:00
**Tea break** - 16:30
**Session "Categories and Domains"**- Invited talk:

Martin Hyland (Cambridge University) Some reasons for generalising domain theory [Slides] - Paul Taylor Equideductive Logic and CCCs with Subspaces [Slides]
- Dirk Hofmann (Univ Aveiro) Continuous V-categories [Slides]

- Invited talk:
- 18:30
**End of First 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 [Slides] - 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 [Slides]

- Invited talk:
- 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 [Slides] - Rasmus Møgelberg (ITU Copenhagen) From Parametric Polymorphism to Models of Polymorphic FPC [Slides]
- Dominique Larchey-Wendling (LORIA-CNRS) Kripke Models of Boolean BI and Invertible Resources [Slides]

- Lars Birkedal, Kristian Stovring, Jacob Thamsborg (ITU
Copenhagen)
- 13:00
**Lunch** - 14:00
**Session "Semantics of Name Abstraction"**- Invited talk:

Andrew Pitts (Cambridge University) An Invitation to Nominal Domain Theory [Slides] - Ondrej Rypacek (Nottingham) High-dimensional Distributive Laws [Slides]
- Daniela Petrisan, Alexander Kurz (Leicester) Equational logic for higher-order abstract syntax

- Invited talk:
- 15:30
**Tea break** - 16:00
**Session "Domains and Logic"**- Alexander Kurz (Leicester), Clemens Kupke, Yde Venema Completeness of Moss's Coalgebraic Logic [Slides]
- Paul Blain Levy (Birmingham) Modal properties of recursively defined commands [Slides]

- 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**

- 9:00
**Session "Probability and Powerdomains"**- Invited talk:

Jean Goubault-Larrecq (LSV/ENS Cachan & CNRS) A Tale of Two Dualities [Slides] - Ernst-Erich Doberkat, Christoph Schubert (Dortmund) Basing Markov transitions on the Giry monad [Slides]
- Petter Kristian Køber (Oslo) Power Domain Representations of Spaces of Compact Subsets

- Invited talk:
- 11:00
**Tea break** - 11:30
**Session "Domains and Topology"**- Ingo Battenfeld (Dortmund), Alex Simpson
(Edinburgh)

Two Probabilistic Powerdomains for Topological Domain Theory [Slides] - Anton Hedin (Uppsala) A continuous dcpo representation of regular formal topologies [Slides]
- Nick Bezhanishvili, Alexander Kurz (Leicester),
Guram Bezhanishvili (New Mexico State), David Gabelaia (King's College)

Bitopological Duality for Distributive Lattices and Heyting Algebras [Slides]

- Ingo Battenfeld (Dortmund), Alex Simpson
(Edinburgh)
- 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 [Paper]

- 15:30
**Tea break** - 16:00
**End of Third Day, End of Workshop**