Kalendář


Informatický seminář

29. 05. 2018, 11:30 - 12:30

Tomáš 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:30

Petr 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:30

Radim 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:30

Radim 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:30

Petr 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:30

Jan 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:30

5.008

přednáška - Direct bases using simplification paradigm - Angel Mora

14. 09. 2017, 16:00 - 17:30

5.008

přednáška - Negative information in formal concept analysis - Pablo Cordero

14. 09. 2017, 14:00 - 15:30

5.008

přednáška - The impact of formal concept analysis applications - Manuel Enciso

14. 09. 2017, 10:00 - 11:30

5.008

přednáška - Pseudo-intents in fuzzy setting - Vilém Vychodil

13. 09. 2017, 14:00 - 15:30