Kalender
Må 19 december - Lö 31 december
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Disputationer
Datalogi
onsdag 2023-02-15, 13.30
Plats: F3, Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/69024442639
Respondent: Guangyi Zhang , Teoretisk datalogi, TCS
2023-02-15T13:30:00.000+01:00 2023-02-15T13:30:00.000+01:00 Optimization beyond a single submodular function (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Optimization beyond a single submodular function (Disputationer) -
Disputationer
fredag 2023-02-24, 13.30
Plats: Kollegiesalen, Brinellvägen 6
Videolänk: https://kth-se.zoom.us/j/63393781380
Respondent: He Ye , Teoretisk datalogi, TCS
2023-02-24T13:30:00.000+01:00 2023-02-24T13:30:00.000+01:00 Improving the Precision of Automatic Program Repair with Machine Learning (Disputationer) Kollegiesalen, Brinellvägen 6 (KTH, Stockholm, Sweden)Improving the Precision of Automatic Program Repair with Machine Learning (Disputationer) -
Disputationer
Datalogi
fredag 2023-06-02, 09.00
Plats: L1, Drottning Kristinas väg 30, Stockholm
Videolänk: https://kth-se.zoom.us/j/68807417997
Respondent: Andreas Lindner , Teoretisk datalogi, TCS
2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Proving Safety and Security of Binary Programs (Disputationer) L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Disputationer)