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.
Informatický seminář
07. 12. 2017, 11:30 - 12:30Petr Osička (UP Olomouc): Simulation games on one-counter nets. Seminář se koná v místnosti 5.073.
Informatický seminář
02. 11. 2017, 11:30 - 12:30Jan Konečný (UP Olomouc): Discernibility matrix-based reduction CL: Last nail in the coffin. Seminář se koná v místnosti 5.073.
přednáška - parameterizations of attribute implications - Vilém Vychodil
15. 09. 2017, 10:00 - 11:305.008
přednáška - Direct bases using simplification paradigm - Angel Mora
14. 09. 2017, 16:00 - 17:305.008
přednáška - Negative information in formal concept analysis - Pablo Cordero
14. 09. 2017, 14:00 - 15:305.008
přednáška - The impact of formal concept analysis applications - Manuel Enciso
14. 09. 2017, 10:00 - 11:305.008
přednáška - Pseudo-intents in fuzzy setting - Vilém Vychodil
13. 09. 2017, 14:00 - 15:30
Akademický rok
Semestr
Kategorie