Kalendář
Informatický seminář
29. 05. 2018, 11:30 - 12:30Tomáš Masopust (Matematický ústav AV ČR, Brno): Verification of opacity and detectability for automata and Petri nets. Seminář se koná v místnosti 5.073.
Informatický seminář
19. 04. 2018, 11:30 - 12:30Petr Jančar (UP Olomouc): A short decidability proof for equivalence of deterministic pushdown automata. Seminář se koná v místnosti 5.073.
Informatický seminář
12. 04. 2018, 11:30 - 12:30Radim Bělohlávek (UP Olomouc): Fuzzy Logic and Mathematics: A Historical Perspective II. Seminář se koná v místnosti 5.073.
Informatický seminář
29. 03. 2018, 11:30 - 12:30Radim Bělohlávek (UP Olomouc): Fuzzy Logic and Mathematics: A Historical Perspective I. Seminář se koná v místnosti 5.073.
Akademický rok
Semestr
Kategorie