Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Martin Argerami: Classification of Operator Systems

  7 mar

  Seminarium, Mittag-Leffler

  måndag 2016-03-07, 14.00 - 15.00

  Medverkande: Martin Argerami, University of Regina

  Plats: 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 (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Auravägen 17, Djursholm (KTH, Stockholm, Sweden)Martin Argerami: Classification of Operator Systems (Seminarium, Mittag-Leffler)

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

  8 mar

  Seminarium, Teoretisk datalogi

  tisdag 2016-03-08, 12.00

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

  Plats: 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 (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Karem Sakallah: SAT-Enabled Verification of State Transition Systems (Seminarium, Teoretisk datalogi)

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

  9 mar

  Seminarium, Logik

  onsdag 2016-03-09, 10.00 - 11.45

  Medverkande: Håkon Robbestad Gylterud

  Plats: 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 (Seminarium, Logik) 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 (Seminarium, Logik)