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)