Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Securing Smart Contracts Against Business Logic Flaws

  11 jun

  Disputationer

  Datalogi

  onsdag 2025-06-11, 09.00

  Plats: Kollegiesalen, Brinellvägen 6, Stockholm

  Respondent: Mojtaba Eshghie , Teoretisk datalogi, TCS

  2025-06-11T09:00:00.000+02:00 2025-06-11T09:00:00.000+02:00 Securing Smart Contracts Against Business Logic Flaws (Disputationer) Kollegiesalen, Brinellvägen 6, Stockholm (KTH, Stockholm, Sweden)Securing Smart Contracts Against Business Logic Flaws (Disputationer)

• Models and Algorithms for Addressing Challenges in Online Social Networks

  12 jun

  Disputationer

  Datalogi

  torsdag 2025-06-12, 14.00

  Plats: F3 Flodis, Lindstedtsvägen 26

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

  Respondent: Sijing Tu , Teoretisk datalogi, TCS

  2025-06-12T14:00:00.000+02:00 2025-06-12T14:00:00.000+02:00 Models and Algorithms for Addressing Challenges in Online Social Networks (Disputationer) F3 Flodis, Lindstedtsvägen 26 (KTH, Stockholm, Sweden)Models and Algorithms for Addressing Challenges in Online Social Networks (Disputationer)

• Formal Verification of Software-Defined Network Elements and Machine Code

  8 dec

  Disputationer

  Datalogi

  måndag 2025-12-08, 13.00

  Plats: Kollegiesalen, Brinellvägen 8, Stockholm

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

  Respondent: Didrik Lundberg , Teoretisk datalogi, TCS, Saab AB, Sweden

  2025-12-08T13:00:00.000+01:00 2025-12-08T13:00:00.000+01:00 Formal Verification of Software-Defined Network Elements and Machine Code (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Formal Verification of Software-Defined Network Elements and Machine Code (Disputationer)