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)