Calendar

No calendar events were found within the current period.

Upcoming calendar events:

• Martin Argerami: Classification of Operator Systems

  7 Mar

  Seminar, Mittag-Leffler

  Monday 2016-03-07, 14:00 - 15:00

  Participating: Martin Argerami, University of Regina

  Location: Institut Mittag-Leffler, Auravägen 17, Djursholm

  2016-03-07T14:00:00.132+01:00 2016-03-07T15:00:00.132+01:00 Martin Argerami: Classification of Operator Systems (Seminar, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Martin Argerami: Classification of Operator Systems (Seminar, Mittag-Leffler)

• Karem Sakallah: SAT-Enabled Verification of State Transition Systems

  8 Mar

  Seminar, Theoretical computer science

  Tuesday 2016-03-08, 12:00

  Participating: Karem Sakallah, University of Michigan and Qatar Computing Research Institute

  Location: Room 4523, Lindstedtsvägen 5, KTH CSC

  2016-03-08T12:00:00.677+01:00 2016-03-08T12:00:00.677+01:00 Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminar, Theoretical computer science)

• Håkon Robbestad Gylterud: Strong collection, subset collection and the identity type

  9 Mar

  Seminar, Logic

  Wednesday 2016-03-09, 10:00 - 11:45

  Participating: Håkon Robbestad Gylterud

  Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

  2016-03-09T10:00:00.802+01:00 2016-03-09T11:45:00.802+01:00 Håkon Robbestad Gylterud: Strong collection, subset collection and the identity type (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Strong collection, subset collection and the identity type (Seminar, Logic)