datum: 13.6.2012 v 9:00
název: Linearization of Proofs in Propositional Hilbert Systems
přednášející: Karel Chvalovský (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 27.6.2012 v 9:00
název: Forcing: Eastonova věta a bi-interpretace
přednášející: Jana Glivická (UI), Martin Blicha
místo konání: UI, 2.patro, místnost č.318
souhrn