You are here

Domains XII

Embedded International Conference: Domains XII

Date: 25 - 28 Aug 2015

Venue: Western Gateway Building, UCC, room WGB 15 Ground Floor (except for GBMS plenary speakers/IMS speakers: WGB 1.07)

Domains XII: The international conference Domains is aimed at computer scientists and mathematicians alike who share an interest in the mathematical foundations of computation. Previous Domains meetings include Paris (2014), Swansea (2011), Sussex (2008) and Novosibirsk (2007). Domains is an open and interactive event, welcoming talks on topics related to domains and related aspects (list included below) as well as talks pertaining to the general Boole theme of the overarching mathematical sciences conference. Conference publication will be considered pending participant interest. Domains XII will be embedded in the George Boole Mathematical Sciences (GMBS) Conference. Further information on this event is included below.




Registration will take place on Monday August 24 from 19:00 - 21:00 via a welcome reception at the "staff common room", located in the Quadrangle on UCC's main campus. See for a virtual tour. Enter the first door to the right of the tower, go up the stairs until you arrive at the first landing. The door to the staff common room is the first on your left at the end of the landing. The quadrangle is indicated as building 56 on the map. Further registration opportunities are available at our registration desk, WGB ground floor, on Tuesd Aug 25 - Friday Aug 28 from 8 - 11 am. 


Western Gateway Building on Google Maps

Virtual tour of Western Gateway Building

Lunch will be held in the staff restaurant, included in the map of on-campus cafetarias and restaurants.

Pre-registration: please register here 

Note: registering for Domains XII includes a free registration to theme 2 of the George Boole Mathematical Science Conference series (GMBSC), titled: "From Boole's Algebra to Boolean Algebra, and Beyond."  Your name will be automatically included among the participants who registered for theme 2 (at no extra cost). If you do not wish to avail of this registration, please inform us at the email address provided in the next paragraph. 



Tuesday, August 25

09:00 - 10:00 Abbas Edalat (Invited Speaker), Derivative of real and complex Lipschitz functions using domain theory 

10:00 - 10:30 coffee break 

10:30 - 11:00 Weng Kin Ho, Achim Jung, and Dongsheng Zhao, Join-continuity + Hypercontinuity = Prime Continuity

11:00 - 11:30 Weng Kin Ho and Hadrian Andradi, On a new convergence class in k-bounded sober spaces

11:30 - 12:00 Paul Taylor, A Chu-like Extension of Topological Spaces

12:00 - 12:30 John Longley, The Y-hierarchy for PCF is strict

12:30 - 14:00 lunch 

14:00 - 15:00 Gordon Plotkin (Invited Speaker), Combining the Hoare powerdomain with the probabilistic powerdomain.

15:00 - 15:30 Klaus Keimel, The Cuntz Semigroup of a C*-Algebra and Domain Theory

15:30 - 16:00 Paul Blain Levy, Oles embeddings

16:00 - 16:30 coffee break

16:30 - 17:30 Dana Scott (Invited Speaker and GBMS-plenary speaker), Setoids/Modest Sets/PERs: Adding and using types with a type-free λ-Calculus (WGB 1.07)

17:30 - 18:30 Discussion session (Teaching Domain Theory)


Wednesday, August 26 

09:00 - 10:00 Jean Goubault-Larrecq (Invited Speaker), Formal Balls

10:00 - 10:30 coffee break 

10:30 - 11:00 Michael Mislove, A(nother) Random Variable Monad-Preliminary Report

11:00 - 11:30 Tyler Barker, A Monad For Randomized Algorithms

11:30 - 12:00 Matthew de Brecht, Spaces of valuations on quasi-Polish spaces

12:00 - 12:30 Paul Bilokon, A domain-theoretic approach to stochastic processes as a step towards domain-theoretic integration on function-spaces

12:30 - 14:00 lunch

14:00 - 15:00 Thierry Coquand (Invited Speaker), A cubical type theory

15:00 - 15:30 Hideki Tsuiki and Yasuyuki Tsukamoto, Properties of dyadic subbases and the induced domain representations

15:30 - 16:00 You Gao, Qingguo Li, Lankun Guo, A Scott domain approach to fuzzy ultrametric spaces

16:00 - 16:30 coffee break

16:30 - 17:00 Massoud Pourmahdian, Model theory of Continuous domains

17:00 - 17:30 Zhiwei Zou, Qingguo Li, Xiangnan Zhou, A characterization of the continuity of posets by rough approximation operators

17:30 - 18:00 Ulrich Berger and Dieter Spreen, A Coinductive Approach to Computing with Compact Sets


Thursday, August 27 

Note: 09:00 - 10:00 Vaughan Pratt (theme 2, Invited Speaker, GBMS-plenary speaker, WGB 1.07), Aristotle, Boole and Chu: Duality since 350 BC. 

10:00 - 11:00  Chris Heunen (Invited Speaker), Domains of Boolean algebras

Note: 11:00 - 12:00 Stanley Burris (IMS talk) A Primer on Boole’s Algebra of Logic (Part 1) 

12:00 - 13:30 lunch

Afternoon: Excursion to Blackrock, St. Michael’s Church and Kinsale yachting harbor 

Evening: conference dinner 


Friday, August 28

Note: 09:00 - 10:00 Don Monk (theme 2, Invited Speaker, GBMS Plenary speaker, WGB 1.07), Some cardinal functions on Boolean algebras

10:00 - 11:00 Stephen Brookes (Invited Speaker), Partial order semantics and weak memory

11:00 - 11:30 coffee

11:30 - 12:00 Jiri Adamek, How Many Steps Do Terminal Coalgebras Need?

12:00 - 12:30 Samson Abramsky, Radha Jagadeesan and Matthijs Vakar, Games for Dependent Types

12:30 - 14:00 lunch 

Note: theme 2 talk, 14:00 - 15:00 Stanley Burris (theme 2, Invited Speaker), Justifying Boole's Algebra of Logic (Part 2)

15:00 - 15:30  Norihiro Yamada, Dynamic Games and Strategies

15:30 - 16:00 Zhao Dongshen and Xi Xiayong, On spaces whose closed compact sets form a model

16:00 - 16:30 coffee

16:30 - 17:00 Achim Jung, On cartesian closed categories of domains

17:00 - 17:30 Hui Kou, Directed spaces: An extended framework for domain theory (Skype talk)

Note: Dana Scott's Boole lecture "My Life with Boolean Algebra" will take place at the George Boole Bicentenary Celebration during the opening on the evening of August 28, from 19:15 - 20:30.



Matthijs Vákár, Magdalen College Oxford

Zhao Dongsheng, National Institute of Education, Singapore

Leonard Kwuida, Bern University of Applied Sciences

Thorsten Palm, Technische Universität Braunschweig

Ulrich Berger, Swansea University

John Longley, University of Edinburgh

Michael Mislove, Tulane University

Guozhi Ma, Hunan University

Lankun Guo, Hunan University

Qingguo Li, Hunan University

Zhiwei Zou, Hunan University

You Gao, Hunan University

Achim Jung, University of Birmingham

Tyler Barker, Tulane University

Norihiro Yamada, University of Oxford

James Power, Maynooth University

Tsuiki Hideki, Kyoto University

Hadrian Andradi, Nanyang Technological University

Matthew de Brecht, CiNet, NICT

Jiri Adamek, Technische Universität Braunschweig

Paul Blain Levy, University of Birmingham

Mehrdad Maleki, IPM

Paul Bilokon, University of Oxford

Weng Kin Ho, Nanyang Technological University 

Stephen Brookes, Carnegie Mellon University

Thierry Coquand, University of Gothenburg

Abbas Edalat, Imperial College of London

Jean Goubault-Larrecq, LSV, CNRS & ENS de Cachan

Chris Heunen, University of Oxford

Gordon Plotkin, University of Edinburgh

Dana Scott, CMU & UC Berkeley 

Klaus Keimel, TU Darmstadt

Dieter Spreen, University of Siegen

Paul Taylor, University of Birmingham (honorary member)

Massoud Pourmahdian, IPM

Hui Kou, Sichuan University

Aoife Hennessy, Waterford Institute of Technology

Michel Schellekens, University College Cork

Huayi Ji, University College Cork, 


Topics of interaction with domain theory for this workshop include, but are not limited to: 


  • program semantics
  • program logics
  • probabilistic computation
  • exact computation over the real numbers
  • lambda calculus
  • games
  • models of sequential computation
  • constructive mathematics
  • recursion theory
  • realizability
  • topology, metric spaces and domains
  • idempotent analysis and domains
  • locale theory
  • category theory
  • topos theory
  • type theory

George Boole Mathematical Sciences Conference: Domains XII will be embedded in the George Boole Mathematical Sciences Conference, Cork, Ireland. Information on the GBMS conference program is available at: As part of the celebrations of Boole’s bicentenary, the George Boole Mathematical Sciences (GBMS) Conference (including Domains XII) will be held in University College Cork (UCC) during the last two weeks of August 2015.George Boole (1815 – 1864) was the first professor of mathematics at Cork. Boole’s efforts to mathematize logical thinking caused a lasting paradigm shift in the 19th century which enlarged the scope and potency of modern mathematics, and provided a wealth of ideas for applications in diverse scientific areas resulting in ground-breaking innovations during the 20th century and beyond. Learn more

Speaker Bios

Stephen Brookes, Carnegie Mellon University

Stephen Brookes is well known for his research on semantics of programming languages and on logics for reasoning about program behavior, in particular for concurrent programs. His Ph. D. (Oxford University, 1983) introduced the ``failures’’ model of CSP, and his thesis advisor was Tony Hoare. He is a full professor at Carnegie Mellon University and an active member of the Principles of Programming research group at CMU. A long-term goal of his research is to facilitate the design and analysis of correct concurrent programs, by providing foundational support for logics, specification methods, and verification tools. His prior work has covered a wide range of topics, including: process algebras, trace-theoretic models of concurrency, fairness, sequentiality, Parallel Algol, soundness of concurrent separation logic, and intensional semantics. Thierry Coquand, University of Gothenburg

Thierry Coquand

Thierry Coquand has been working on dependent type theory and constructive mathematics. He has organized in 2012-2013 a special year on Univalent Foundation at the IAS, together with Steve Awodey and Vladimir Voevodsky, and is now working on a constructive justification of the axiom of univalence introduced by Voevodsky.


Abbas Edalat, Imperial College of London

Abbas Edalat did his PhD in mathematics, Warwick 1986, with a thesis on Bifurcation of the Replicator System, supervised by Christopher Zeeman. He then took up a lectureship in mathematics at Sharif University in Tehran and later returned to the UK to study computer science and  to undertake postdoctoral research. He has been at the Department of Computing at Imperial College London since 1989 and became a professor of Computer Science and Mathematics in 1997.His main research work has been to develop domain-theoretic computational models and new sets of algorithms for exact computation in several areas including in fractal geometry, measure and integration theory, exact real arithmetic, computational geometry, ordinary differential equations, hybrid systems and differential calculus. Since 2010, Edalat has developed the notion of strong, or multiply stored, patterns in artificial neural networks to model cognitive and behavioural prototypes.  He has used this notion and a number of paradigms in neuroscience and developmental psychology to develop an effective psychological rehabilitation technique, coined "self-attachment", with some early promising results in several uncontrolled clinical trials.

Chris Heunen, University of Oxford

Chris Heunen works on the foundations of quantum computation, having made fundamental contributions in several topics in the area of categorical quantum models and logics. His research involves the use of category theory, order theory, and functional analysis. He is currently an EPSRC research fellow at the University of Oxford, but will shortly take up a post at the University of Edinburgh.


Gordon Plotkin, University of Edinburgh

After an undergraduate degree in Mathematics and Physics, obtained from Glasgow University in 1967, Gordon Plotkin obtained a doctorate in Artificial Intelligence from Edinburgh University in 1972. He then joined the faculty at Edinburgh, becoming a full professor in 1986. He is a Fellow of the Royal Society, a member of Academia Europaea, and a Fellow of the Royal Society of Edinburgh. He has also won several prizes, including the SIGPLAN programming languages achievement  award, the EATCS award, and the Royal Society Milner award. He may be best known for his work on the operational semantics of programming languages, in particular for Structural Operational Semantics. He has also contributed to many other areas of the semantics and logic of programming languages, and has made some contributions to computational biology.

Dana Scott, Carnegie Mellon University and UC Berkeley

Dana Stewart Scott was born 11 October 1932 in Berkeley, California. He studied at the University of California, Berkeley, USA (Bachelor of Arts 1954). He then received his doctorate at Princeton University (Ph.D. 1958), where his advisor was Alonzo Church. His long and storied career started at the University of Chicago and included positions at Stanford, Princeton and Oxford University as well as time spent at Carnegie Mellon University and the University of Linz, Austria.

Scott received the Turing Award of the Association of Computing Machinery (1976), "along with Michael O. Rabin, for their joint paper 'Finite Automata and Their Decision Problem,' which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of inspiration for subsequent work in this field." Scott subsequently became an internationally recognized mathematical logician whose work has spanned computer science, mathematics, and philosophy. He made seminal contributions to automata theory, modal logic, model theory, set theory, and the theory of programming languages. He has made fundamental contributions to contemporary logic and is known for his creation of domain theory, a branch of mathematics that is essential for analyzing computer programming languages. 

After retirement, he and his wife, Irene, have now resided in Berkeley since 2005. Their daughter, Monica, lives nearby with her husband and the two grandchildren.

Jean Goubault-Larrecq, LSV, CNRS & ENS de Cachan

Jean Goubault-Larrecq has worked in automated deduction,in computer security, in domain theory.  He graduated from Ecole Polytechnique in 1986, then from Corps des Mines in 1989, and obtained a doctorate in Computer Science from Ecole Polytechnique in 1993.  He worked for Bull S.A. from 1989 to 1996 as a research engineer, then, after a six-month sabbatical at University of Karlruhe, at the GIE Dyade technology transfer initiative between Bull and INRIA.  He has been full professor of Computer Science at ENS Cachan since 2000, where he has notably led the SECSI computer security INRIA projet-team from 2001 to 2013.  He was awarded the CNRS Silver Medal in 2011.

Excursion to St. Michael's church, Blackrock, Thursday August 27. 

Guided tour by Des McHale. Visit to Kinsale yachting harbour and gourmet center. Participants who registered for the excursion (or excursion and conference dinner) take the bus at 14:00 (for departure at 14:15).

Collection Point: UCC main gate junction, Western road, where bus lane ends (across the road from old Erinville Hospital)
Departure 14:15 for St. Michael’s church, Blackrock, arrival in Blackrock around 14:45

Guided tour at St. Michael's church by Des McHale.

Departure 15:20 to Kinsale from Blackrock, arrival in Kinsale around 16:00. 

Departure 19:00 (at location specified by driver during tour). Departure for participants who only signed up for the excursion (i.e. don't take part in conference dinner). Bus drop-off at River Lee Hotel, UCC main gate or Cork city center. 

Departure 22.15 from Blue Haven Hotel (conference dinner). Departure for participants who signed up for conference dinner. Bus drop-off at River Lee Hotel, UCC main gate or Cork city center. 

Steering Committee:

  • Ulrich Berger (Swansea)
  • Martin Escardo (Birmingham)
  • Achim Jung (Birmingham)
  • Klaus Keimel (Darmstadt)
  • Michel Schellekens (UCC)


  • Aoife Hennessy (WIT)
  • Michel Schellekens (UCC)

Invited speakers:

  • Stephen Brookes (Carnegie Mellon)
  • Thierry Coquand (Gothenburg)
  • Abbas Edalat (Imperial College)
  • Jean Goubault-Larrecq (LSV, CNRS & ENS de Cachan)
  • Chris Heunen (Oxford)
  • Gordon Plotkin (Edinburgh)
  • Dana Scott (Carnegie Mellon & UC Berkeley)