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