|
zpravodaj ČSKI - červen 2018 [ pdf ] |
datum: 6.6.2018 v 10:00 název: Informational semantics for superintuitionistic modal logics přednášející: Igor Sedlár (UI) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 8.6.2018 v 14:00 název: Algebraization of the one-variable fragment of firstorder basic logic přednášející: D. Castano místo konání: UI, 2.patro, místnost č.318 souhrn datum: 26.6.2018 v 14:00 název: A computational study of Open-Definability přednášející: M. Campercholi místo konání: UI, 2.patro, místnost č.318 souhrn |