Disputation

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Theo Backman: Configuration spaces, props and wheel-free deformation quantization

  20 jan

  Disputation

  fredag 2017-01-20, 13.00

  Medverkande: Theo Backman

  Plats: Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet

  Respondent: Theo Backman

  2017-01-20T13:00:00.000+01:00 2017-01-20T13:00:00.000+01:00 Theo Backman: Configuration spaces, props and wheel-free deformation quantization (Disputation) Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet (KTH, Stockholm, Sweden)Theo Backman: Configuration spaces, props and wheel-free deformation quantization (Disputation)

• Mladen Mikša: On Complexity Measures in Polynomial Calculus

  20 jan

  Disputation

  fredag 2017-01-20, 14.00

  Medverkande: Mladen Mikša

  Plats: Room D2, Lindstedtsvägen 5 , KTH Campus

  2017-01-20T14:00:00.000+01:00 2017-01-20T14:00:00.000+01:00 Mladen Mikša: On Complexity Measures in Polynomial Calculus (Disputation) Room D2, Lindstedtsvägen 5 , KTH Campus (KTH, Stockholm, Sweden)Mladen Mikša: On Complexity Measures in Polynomial Calculus (Disputation)

• Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory

  9 feb

  Disputation

  torsdag 2017-02-09, 13.00

  Medverkande: Håkon Robbestad Gylterud

  Plats: Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet

  Respondent: Håkon Robbestad Gylterud

  2017-02-09T13:00:00.000+01:00 2017-02-09T13:00:00.000+01:00 Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory (Disputation) Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory (Disputation)