Achim Jung from the University of Birmingham is visiting Swansea on Wednesday, 20 January 2016. He will give a talk in the PCV seminar series.

Title: On the sobriety of domains

Abstract: There are two ways in which a domain (in the sense of Dana
Scott) may arise from countable data: The classic way is via
order-theoretic approximation inside the domain, and leads to the
notion of algebraic and continuous domains. Alternatively, one can
view a domain as arising from the lattice of predicates that may be
formulated for a data type. This latter approach was pioneered and
developed by Samson Abramsky in his Domain Theory in Logical Form.
I will explain these two approaches and then present an example that
illustrates some of the subtlety that we may observe with the latter.

Time: 4-5 pm

Venue: Robert Recorde Room (Faraday Building 205)

The talk will be preceded by a talk by Margarita Korovina.