Gästföreläsning: Robbing the Bank with a Model Checker med David Basin, ETH Zürich

17 nov

Events

onsdag 2021-11-17, 14.00 - 15.00

Medverkande: Professor David Basin, ETH Zürich

Plats: Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus

2021-11-17T14:00:00.000+01:00 2021-11-17T15:00:00.000+01:00 Gästföreläsning: Robbing the Bank with a Model Checker med David Basin, ETH Zürich (Events) Online or onsite at Digital Futures hub, Osquars Backe 5, floor 2 at KTH main campus (KTH, Stockholm, Sweden)Gästföreläsning: Robbing the Bank with a Model Checker med David Basin, ETH Zürich (Events)

KTH Energy Dialogue 2021 – Science for Sustainability & Impact of Research

18 nov

Events

torsdag 2021-11-18, 11.30 - 16.00

Plats: Live at KTH Campus, Nymble, Drottning Kristinas väg 15-19

2021-11-18T11:30:00.000+01:00 2021-11-18T16:00:00.000+01:00 KTH Energy Dialogue 2021 – Science for Sustainability & Impact of Research (Events) Live at KTH Campus, Nymble, Drottning Kristinas väg 15-19 (KTH, Stockholm, Sweden)KTH Energy Dialogue 2021 – Science for Sustainability & Impact of Research (Events)