Kalender

Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata

11 mar

Seminarium, Teoretisk datalogi

fredag 2016-03-11, 13.15

Medverkande: Marielle Stoelinga (Associate Professor of Risk Management for ICT University of Twente)

Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Marielle Stoelinga: Risk management meets model checking: compositional fault tree analysis via Markov automata (Seminarium, Teoretisk datalogi)

Richard Tsai: Level set methods and applications

11 mar

Populärföreläsning

fredag 2016-03-11, 14.00 - 14.50

Medverkande: Richard Tsai, KTH

Plats: 3721

2016-03-11T14:00:00.198+01:00 2016-03-11T14:50:00.198+01:00 Richard Tsai: Level set methods and applications (Populärföreläsning) 3721 (KTH, Stockholm, Sweden)Richard Tsai: Level set methods and applications (Populärföreläsning)

David Sherman: Equivalent operator categories

11 mar

Seminarium, Mittag-Leffler

fredag 2016-03-11, 14.00 - 15.00

Medverkande: David Sherman, University of Virginia

Plats: 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 (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)David Sherman: Equivalent operator categories (Seminarium, Mittag-Leffler)