Kalender

Topological Methods for Reasoning about Data

22 jan

Docentföreläsningar

måndag 2018-01-22, 10.00

Medverkande: Docent lecture by Florian Till Pokorny

Plats: D35, Lindstedtsvägen 5, 3rd floor

2018-01-22T10:00:00.000+01:00 2018-01-22T10:00:00.000+01:00 Topological Methods for Reasoning about Data (Docentföreläsningar) D35, Lindstedtsvägen 5, 3rd floor (KTH, Stockholm, Sweden)Topological Methods for Reasoning about Data (Docentföreläsningar)

Models and systems in motion: Verification and visual analytics for system executions

21 jun

Docentföreläsningar

torsdag 2018-06-21, 09.00 - 10.00

Medverkande: Cyrille Artho, TCS/EECS/KTH

Plats: Room 4523, Lindstedtsvägen 5, 10044 Stockholm

2018-06-21T09:00:00.000+02:00 2018-06-21T10:00:00.000+02:00 Models and systems in motion: Verification and visual analytics for system executions (Docentföreläsningar) Room 4523, Lindstedtsvägen 5, 10044 Stockholm (KTH, Stockholm, Sweden)Models and systems in motion: Verification and visual analytics for system executions (Docentföreläsningar)