Informatický seminář
Na katedře probíhá pravidelný Informatický seminář. Seminář je věnován aktuálním problémům informatiky. Na semináři jsou přednášeny originální příspěvky, referáty o výsledcích jiných autorů, rozpracovaná témata, otevřené problémy, části monografií a podobně. Seminář je volně přístupný.
Program na zimní semestr 2022/2023
| 22. 09. | Lukáš Holík (VUT Brno) Rozpoznávání regulárních vzorů s čítači 12:00, 5.078 |
| 06. 10. | Jan Laštovička (Univerzita Palackého) Vyčíslitelnost fuzzy logiky nad Heytingovými algebrami 12:00, 5.078 |
| 27. 10. | Štěpán Holub (Univerzita Karlova) Kombinatorika na slovech a její formalizace v Isabelle/HOL 12:00, 5.078 |
| 03. 11. | Petr Jančar (Univerzita Palackého) Nejjednodušší neregulární deterministický bezkontextový jazyk 12:00, 5.078 |
| 10. 11. | Radim Bělohlávek, Tomáš Mikula (Univerzita Palackého) Typičnost a související jevy I 12:00, 5.078 |
| 24. 11. | Radim Bělohlávek, Tomáš Mikula (Univerzita Palackého) Typičnost a související jevy II 12:00, 5.078 |
| 01. 12. | Radim Bělohlávek, Tomáš Urbanec (Univerzita Palackého) O pojmu fuzzy uspořádání I 12:00, 5.078 |
| 08. 12. | Radim Bělohlávek, Tomáš Urbanec (Univerzita Palackého) O pojmu fuzzy uspořádání II 12:00, 5.078 |
Správce stránky: Radim Bělohlávek
|
Aktualizace:
19. 01. 2023