Calendar

Sound Leakage Contracts for Reliable Formal Verification

6 Nov

Docent lectures

Thursday 2025-11-06, 11:00 - 12:00

Participating: Hamed Nemati

Location: D3, Lindstedtsvägen 5

Video link: Zoom

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

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

6 Nov

Seminars and lectures

Thursday 2025-11-06, 15:00 - 16:00

Location: Teknikringen 33

2025-11-06T15:00:00.000+01:00 2025-11-06T16:00:00.000+01:00 Interrupting High-Voltage DC current - more difficult than flipping a light switch (Seminars and lectures) Teknikringen 33 (KTH, Stockholm, Sweden)Interrupting High-Voltage DC current - more difficult than flipping a light switch (Seminars and lectures)

Pooria Ghavamian 30% seminar

6 Nov

Lectures and seminars

Thursday 2025-11-06, 15:00

Location: 1440 (Henrik Eriksson)

Video link: 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 (Lectures and seminars) 1440 (Henrik Eriksson) (KTH, Stockholm, Sweden)Pooria Ghavamian 30% seminar (Lectures and seminars)