Author Archives: Ulrich Berger

Nao Hirokawa visiting

Nao Hirokawa from the Japan Advanced Institute of Science and Technology (JAIST) is visiting Swansea from 15 to 17 March. Nao is an expert in Term rewriting theory.

The abstract of his seminar talk about Basic Normalization on Thursday, 15 March can be found here.


Achim Jung visiting

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.



Margarita Korovina visiting

Margarita Korovina from IIS (A.P. Ershov Institute of Informatics Systems, Novosibirsk), is visiting Swansea as part of the EU project COMPUTAL.

She will give four talks in the PCV seminar:

Tuesday, 19/1, 2-3 pm and Thursday 21/ 2, 2-3 pm: What are decidable/undecidable in reachability verification of hybrid systems?

Wednesday, 20/1, 3-4 pm:  Complexity for Partial Computable Functions over Computable  Perfect Polish Spaces.

The talks will be in the Robert Recorde Room Robert (Faraday Building, Room 205)

CCC 2015

The workshop “Continuity, Computability, Constructivity – From Logic to Algorithms” (CCC 2015)  was held in Schloss Aspenstein, Kochel am See, near Munich, 14-18 September 2015.


This was the fourth and final workshop of the EU FP7 project ” COMPUTAL (Computable analysis – theoretical and applied aspects), a research network between Europe, Russia, South-Africa,and Japan.

The event was organised by Monika Seisenberger and colleagues from Swansea.

More information about the event including abstracts and links to previous CCC workshops can be found at