Disputationer
Må 11 mars - Sö 17 mars
-
Disputationer
Datalogi
fredag 2024-03-15, 13.00
Plats: Kollegiesalen, Brinellvägen 8, Stockholm
Videolänk: https://kth-se.zoom.us/j/61999411575
Respondent: Christian Lidström , Teoretisk datalogi, TCS
2024-03-15T13:00:00.000+01:00 2024-03-15T13:00:00.000+01:00 Automated Deductive Verification of Safety-Critical Embedded Software (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Automated Deductive Verification of Safety-Critical Embedded Software (Disputationer)