Calendar
Fri 11 March
-
Seminar, Theoretical computer science
Friday 2016-03-11, 13:15
Participating: Marielle Stoelinga (Associate Professor of Risk Management for ICT University of Twente)
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-03-11T13:15:00.297+01:00 2016-03-11T13:15:00.297+01:00 Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminar, Theoretical computer science) -
Popular lecture
Friday 2016-03-11, 14:00 - 14:50
Participating: Richard Tsai, KTH
Location: 3721
2016-03-11T14:00:00.198+01:00 2016-03-11T14:50:00.198+01:00 Richard Tsai: Level set methods and applications (Popular lecture) 3721 (KTH, Stockholm, Sweden)Richard Tsai: Level set methods and applications (Popular lecture) -
Seminar, Mittag-Leffler
Friday 2016-03-11, 14:00 - 15:00
Participating: David Sherman, University of Virginia
Location: Institut Mittag-Leffler, Auravägen 17, Djursholm
2016-03-11T14:00:00.466+01:00 2016-03-11T15:00:00.466+01:00 David Sherman: Equivalent operator categories (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)David Sherman: Equivalent operator categories (Seminar, Mittag-Leffler)