|
zpravodaj ČSKI - listopad 2019 |
datum: 6.11.2019 v 16:00 název: Random resolution and approximate counting přednášející: Neil Thapen (MATH) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 13.11.2019 v 16:00 název: Probabilistic Dynamic Epistemic Logic přednášející: Sabine Frittella (Laboratoire d'Informatique Fondamentale d'Orléans) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 20.11.2019 v 16:00 název: Information Flow in Logics in the Vicinity of BB přednášející: Andrew Tedder (UI) místo konání: UI, 2.patro, místnost č.318 souhrn |