Calendar

Crosstalks: So here we are

18 Sep

Conferences and events

Thursday 2014-09-18, 17:00 - 20:00

Location: Nymble - Tekniska Högskolans Kårhus, Drottning Kristinas väg 15

2014-09-18T17:00:00.051+02:00 2014-09-18T20:00:00.051+02:00 Crosstalks: So here we are (Conferences and events) Nymble - Tekniska Högskolans Kårhus, Drottning Kristinas väg 15 (KTH, Stockholm, Sweden)Crosstalks: So here we are (Conferences and events)

Algorithmic Verification of Procedural Programs in the Presence of Code Variability

19 Sep

Public defences of doctoral theses

Computer Science

Friday 2014-09-19, 14:00

Participating: Siavash Soleimanifard

Location: F3 Lindstedtsvägen 26

Doctoral student: Siavash Soleimanifard , TCS

2014-09-19T14:00:00.602+02:00 2014-09-19T14:00:00.602+02:00 Algorithmic Verification of Procedural Programs in the Presence of Code Variability (Public defences of doctoral theses) F3 Lindstedtsvägen 26 (KTH, Stockholm, Sweden)Algorithmic Verification of Procedural Programs in the Presence of Code Variability (Public defences of doctoral theses)