datum: 6.2.2019 v 16:00
název: The dual of compact ordered spaces is a variety
přednášející: Marco Abbadini (Univ. di Milano)
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 20.2.2019 v 16:00
název: Uniform interpolation for IPC via an open mapping theorem for Esakia spaces
přednášející: Luca Reggio (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 27.2.2019 v 16:00
název: Identity and definition in natural deduction
přednášející: Ansten Klev (FLU CAS)
místo konání: UI, 2.patro, místnost č.318
souhrn