Dne 16. ledna 2020 v 11:00 hod. bude probíhat obhajoba dizertační práce Ing. Radomíra Polácha „On Determinisation of Pushdown Automata and Conversion of Regular Tree Expressions to Determinisable Pushdown Automata“. Obhajoba se uskuteční v místnosti TH:A-1435.
