Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Optimization beyond a single submodular function

  15 feb

  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)

• Improving the Precision of Automatic Program Repair with Machine Learning

  24 feb

  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)

• Proving Safety and Security of Binary Programs

  2 jun

  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)