|
zpravodaj ČSKI - říjen 2018 |
datum: 10.10.2018 v 16:00 název: Focused completeness principles přednášející: Tommaso Moraschini (UI) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 11.10.2018 v 10:55 název: The 43rd Pattern Recognition and Computer Vision Colloquium, Autumn 2018 místo konání: FEL ČVUT, místnost č 301 (K9), budova E souhrn datum: 17.10.2018 v 16:00 název: Checking cohesiveness in canonical models přednášející: Matteo Pascucci (TU Vienna) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 24.10.2018 v 16:00 název: Logics of conditionals přednášející: Vít Punčochář (FLU CAS) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 31.10.2018 v 16:00 název: Fine-grained modal logics: A simple approach přednášející: Igor Sedlár (UI) místo konání: UI, 2.patro, místnost č.318 souhrn |