|
zpravodaj ČSKI - prosinec 2019 |
datum: 4.12.2019 v 16:00 název: Craig interpolation in software verification přednášející: Martin Blicha (MFF UK) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 11.12.2019 v 16:00 název: Axiomatic systems of Gödel modal logics přednášející: Amanda Vidal (UI) místo konání: UI, 2.patro, místnost č.318 souhrn |