EECS interna kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Betydelsen av data i förvaltningen av kraftsystemets tillgångar

  29 jan

  Disputationer

  Elektro- och systemteknik

  måndag 2024-01-29, 15.00

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

  Respondent: Wadih Naim , Elektromagnetism och fusionsfysik, QED-AM

  2024-01-29T15:00:00.000+01:00 2024-01-29T15:00:00.000+01:00 Betydelsen av data i förvaltningen av kraftsystemets tillgångar (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Betydelsen av data i förvaltningen av kraftsystemets tillgångar (Disputationer)

• Synergier mellan policyinlärning och sampling-baserad planering

  30 jan

  Disputationer

  Datalogi

  tisdag 2024-01-30, 15.00

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

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

  Respondent: Robert Gieselmann , Robotik, perception och lärande, RPL

  2024-01-30T15:00:00.000+01:00 2024-01-30T15:00:00.000+01:00 Synergier mellan policyinlärning och sampling-baserad planering (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28 (KTH, Stockholm, Sweden)Synergier mellan policyinlärning och sampling-baserad planering (Disputationer)

• 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)