|
zpravodaj ČSKI - květen 2012 [ pdf ] |
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 |