|
zpravodaj ČSKI - leden 2013 [ pdf ] |
datum: 8.1.2013 v 15:40 název: On the use of PMCMC in parameter estimation of space-time interacting discs přednášející: Martina Zikmundová (MFF UK) místo konání: KPMS, 1.patro, Praktikum vpravo datum: 16.1.2013 v 14:00 název: The algebraic structure of Intermediate Syllogisms přednášející: Esko Turunen místo konání: UI, 2.patro, místnost č.318 souhrn datum: 23.1.2013 v 14:00 název: Coalgebraic, algebraic and proof theoretic semantics of dynamic epistemic logic přednášející: Alexander Kurz (University of Leicester) místo konání: UI, 2.patro, místnost č.318 souhrn datum: 30.1.2013 v 14:00 název: A language with a constructive semantics for specifying Kripke structures přednášející: Radim Nedbal (UI) místo konání: UI, 2.patro, místnost č.318 souhrn |