Calendar

Analysis Day: On the occasion of the conferment of the new Honorary Doctor Heinz Langer

28 Sep

Seminar, Analysis SU

Monday 2015-09-28, 09:30 - 10:30

Location: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University

2015-09-28T09:30:00.347+02:00 2015-09-28T10:30:00.347+02:00 Analysis Day: On the occasion of the conferment of the new Honorary Doctor Heinz Langer (Seminar, Analysis SU) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Analysis Day: On the occasion of the conferment of the new Honorary Doctor Heinz Langer (Seminar, Analysis SU)

Swen Jacobs: Verification and Synthesis of Parameterized Systems

28 Sep

Seminar, Theoretical computer science

Monday 2015-09-28, 13:15

Participating: Swen Jacobs, Reactive Systems Group Saarland University

Location: Room 1537, Lindstedtsvägen 3

2015-09-28T13:15:00.224+02:00 2015-09-28T13:15:00.224+02:00 Swen Jacobs: Verification and Synthesis of Parameterized Systems (Seminar, Theoretical computer science) Room 1537, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Swen Jacobs: Verification and Synthesis of Parameterized Systems (Seminar, Theoretical computer science)