Obhajoby disertačních prací v červnu 2018
18. 6. 2018, od 14:00
Numerical Processing of Spectrometric Data
RNDr. František Blahoudek
25. 6. 2018, od 10:00
Automata for Formal Methods: Little Steps Towards Perfection
Obhajoby proběhnou v zasedací místnosti B517 a jsou veřejné.