Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Sista dag för Ladoksupport att lägga in nyinrättade kurser i Ladok, för fristående kurs som ges HT24

  5 feb

  UPL_Kopps – fristående kurser

  måndag 2024-02-05

  2024-02-05T00:00:00.000+01:00 2024-02-05T23:59:00.000+01:00 Sista dag för Ladoksupport att lägga in nyinrättade kurser i Ladok, för fristående kurs som ges HT24 (UPL_Kopps – fristående kurser) Sista dag för Ladoksupport att lägga in nyinrättade kurser i Ladok, för fristående kurs som ges HT24 (UPL_Kopps – fristående kurser)

• Sista dag för Ladoksupport att lägga in nya kursversioner (pga ändrade moduler) i Ladok, för fristående kurs som ges HT24

  5 feb

  UPL_Kopps – fristående kurser

  måndag 2024-02-05

  2024-02-05T00:00:00.000+01:00 2024-02-05T23:59:00.000+01:00 Sista dag för Ladoksupport att lägga in nya kursversioner (pga ändrade moduler) i Ladok, för fristående kurs som ges HT24 (UPL_Kopps – fristående kurser) Sista dag för Ladoksupport att lägga in nya kursversioner (pga ändrade moduler) i Ladok, för fristående kurs som ges HT24 (UPL_Kopps – fristående kurser)

• Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software

  5 feb

  Disputationer

  Datalogi

  måndag 2024-02-05, 14.00

  Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

  Videolänk: https://kth-se.zoom.us/j/65032245867

  Respondent: Ning Dong , Teoretisk datalogi, TCS

  2024-02-05T14:00:00.000+01:00 2024-02-05T14:00:00.000+01:00 Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Towards a Trustworthy Stack: Formal Verification of Low-Level Hardware and Software (Disputationer)