datum: 2.5.2012 v 9:00
název: Tense operátory na MV-algebrách
přednášející: Michal Botur (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 9.5.2012 v 9:00
název: Relační sémantika modálních substrukurálních logik
přednášející: Marta Bílková (UI)
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 15.5.2012 v 15:40
název: Časoprostorové modely se spojitým časem
přednášející: Michaela Prokešová (MFF UK)
místo konání: KPMS, 1.patro, Praktikum vpravo

datum: 16.5.2012 v 9:00
název: Logika hybridních akčních modelů
přednášející: Michal Dančák
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 23.5.2012 v 9:00
název: BCK algebry a triple konstrukce
přednášející: Jan Kühr
místo konání: UI, 2.patro, místnost č.318
souhrn

datum: 29.5.2012 v 16:00
název: O pojmu znázornění
přednášející: Tomáš Koblížek
místo konání: FÚ AV ČR, 1.patro, zasedací síň
souhrn