zpravodaj ČSKI - prosinec 2019 |
[ zaslat oznámení o přednášce ] |
únor | | | březen | | | duben | | | květen | | | červen | | | říjen | | | listopad | | | prosinec |
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