Kalender
On 19 oktober - Lö 31 december
-
Disputationer
Datalogi
torsdag 2022-10-27, 14.00
Plats: F3, Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/68576785278
Respondent: Kilian Risse , Teoretisk datalogi, TCS
2022-10-27T14:00:00.000+02:00 2022-10-27T14:00:00.000+02:00 On Long Proofs of Simple Truths (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)On Long Proofs of Simple Truths (Disputationer) -
Disputationer
Datalogi
tisdag 2022-11-29, 09.00
Plats: F3, Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/61717169026
Respondent: Long Zhang , Teoretisk datalogi, TCS
2022-11-29T09:00:00.000+01:00 2022-11-29T09:00:00.000+01:00 Application-level Chaos Engineering (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Application-level Chaos Engineering (Disputationer)