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)