|
zpravodaj ČSKI - listopad 2016 |
datum: 2.11.2016 v 10:00 název: Nested Sequent calculus and Prefixed Tableaux for Intuitionistic Logics přednášející: Eva Kolovratníková místo konání: UI, 2.patro, místnost č.318 souhrn datum: 16.11.2016 v 10:00 název: On commuting retractions algebras and semigroups přednášející: Michal Botur místo konání: UI, 2.patro, místnost č.318 souhrn datum: 23.11.2016 v 10:00 název: Two-sorted algebraic approach to probability přednášející: Tomáš Kroupa (UTIA) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 30.11.2016 v 10:00 název: Undecidability of some many-valued modal logics přednášející: Amanda Vidal (UI) místo konání: UI, 2.patro, místnost č.318 souhrn |