Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Sound Leakage Contracts for Reliable Formal Verification

  6 nov

  Docentföreläsningar

  torsdag 2025-11-06, 11.00 - 12.00

  Medverkande: Hamed Nemati

  Plats: D3, Lindstedtsvägen 5

  Videolänk: Zoom

  2025-11-06T11:00:00.000+01:00 2025-11-06T12:00:00.000+01:00 Sound Leakage Contracts for Reliable Formal Verification (Docentföreläsningar) D3, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Sound Leakage Contracts for Reliable Formal Verification (Docentföreläsningar)

• Interrupting High-Voltage DC current - more difficult than flipping a light switch

  6 nov

  Seminarier och föreläsningar

  torsdag 2025-11-06, 15.00 - 17.00

  Plats: Teknikringen 33

  2025-11-06T15:00:00.000+01:00 2025-11-06T17:00:00.000+01:00 Interrupting High-Voltage DC current - more difficult than flipping a light switch (Seminarier och föreläsningar) Teknikringen 33 (KTH, Stockholm, Sweden)Interrupting High-Voltage DC current - more difficult than flipping a light switch (Seminarier och föreläsningar)

• Pooria Ghavamian 30% seminar

  6 nov

  Seminarier och föreläsningar

  torsdag 2025-11-06, 15.00

  Plats: 1440 (Henrik Eriksson)

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

  2025-11-06T15:00:00.000+01:00 2025-11-06T15:00:00.000+01:00 Pooria Ghavamian 30% seminar (Seminarier och föreläsningar) 1440 (Henrik Eriksson) (KTH, Stockholm, Sweden)Pooria Ghavamian 30% seminar (Seminarier och föreläsningar)