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.