Disputationer

SynQ: Synchronous System Design with Quantitative Types

9 nov

Disputationer

Informations- och kommunikationsteknik

måndag 2026-11-09, 13.00

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

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

Respondent: Rui Chen , Elektronik och inbyggda system

2026-11-09T13:00:00.000+01:00 2026-11-09T13:00:00.000+01:00 SynQ: Synchronous System Design with Quantitative Types (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28 (KTH, Stockholm, Sweden)SynQ: Synchronous System Design with Quantitative Types (Disputationer)

Hyperbolic Geometric Inference

12 nov

Disputationer

Datalogi

torsdag 2026-11-12, 13.00

Plats: F3 (Flodis), Lindstedtsvägen 26

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

Respondent: Aniss Aiman Medbouhi , Robotik, perception och lärande

2026-11-12T13:00:00.000+01:00 2026-11-12T13:00:00.000+01:00 Hyperbolic Geometric Inference (Disputationer) F3 (Flodis), Lindstedtsvägen 26 (KTH, Stockholm, Sweden)Hyperbolic Geometric Inference (Disputationer)