Kalender
To 1 juni - Fr 30 juni
-
Disputationer
Datalogi
torsdag 2023-06-01, 13.15
Plats: D2, Lindstedtsvägen 5, Stockholm
Respondent: César Soto Valero , Programvaruteknik och datorsystem, SCS, ASSERT
2023-06-01T13:15:00.000+02:00 2023-06-01T13:15:00.000+02:00 Debloating Java Dependencies (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Debloating Java Dependencies (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) -
Disputationer
Datalogi
fredag 2023-06-02, 09.00
Plats: E2, Lindstedtsvägen 3, Stockholm
Videolänk: https://kth-se.zoom.us/j/66441177033
Respondent: Md Sakib Nizam Khan , Teoretisk datalogi, TCS
2023-06-02T09:00:00.000+02:00 2023-06-02T09:00:00.000+02:00 Towards Privacy Preserving Intelligent Systems (Disputationer) E2, Lindstedtsvägen 3, Stockholm (KTH, Stockholm, Sweden)Towards Privacy Preserving Intelligent Systems (Disputationer) -
Disputationer
Informations- och kommunikationsteknik Informations- och kommunikationsteknik
onsdag 2023-06-07, 13.00
Plats: F3, Lindstedtsvägen 26 & 28, Stockholm
Videolänk: https://kth-se.zoom.us/j/65880566532
Respondent: Rodothea Myrsini Tsoupidi , Programvaruteknik och datorsystem, SCS
2023-06-07T13:00:00.000+02:00 2023-06-07T13:00:00.000+02:00 Generating Optimized and Secure Binary Code (Disputationer) F3, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generating Optimized and Secure Binary Code (Disputationer) -
Disputationer
Informations- och kommunikationsteknik
fredag 2023-06-09, 09.00
Plats: Sal-C, Kistagången 16
Respondent: Lodovico Giaretta , Programvaruteknik och datorsystem, SCS
2023-06-09T09:00:00.000+02:00 2023-06-09T09:00:00.000+02:00 Towards Decentralized Graph Learning (Disputationer) Sal-C, Kistagången 16 (KTH, Stockholm, Sweden)Towards Decentralized Graph Learning (Disputationer) -
Licentiatseminarier
fredag 2023-06-09, 14.00
Plats: VIC-studion, Lindstedtsvägen 5, Stockholm
Licentiand: Måns Andersson , Beräkningsvetenskap och beräkningsteknik (CST)
2023-06-09T14:00:00.000+02:00 2023-06-09T14:00:00.000+02:00 Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks (Licentiatseminarier) VIC-studion, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Leveraging Intermediate Representations for High-Performance Portable Discrete Fourier Transform Frameworks (Licentiatseminarier) -
Disputationer
Datalogi
onsdag 2023-06-14, 15.00
Plats: D3 Lindstedtsvägen 9
Videolänk: https://kth-se.zoom.us/j/69872122832
Respondent: Jonas Haglund , Teoretisk datalogi, TCS
2023-06-14T15:00:00.000+02:00 2023-06-14T15:00:00.000+02:00 Formal Verification of Peripheral Memory Isolation (Disputationer) D3 Lindstedtsvägen 9 (KTH, Stockholm, Sweden)Formal Verification of Peripheral Memory Isolation (Disputationer)