Seminar, Combinatorics

No calendar events were found within the current period.

Upcoming calendar events:

• Per Martin-Löf​: The topological model of intuitionistic type theory

  6 Dec

  Seminar, Combinatorics

  Wednesday 2017-12-06, 10:00 - 11:45

  Participating: Per Martin-Löf

  Location: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit

  2017-12-06T10:00:00.000+01:00 2017-12-06T11:45:00.000+01:00 Per Martin-Löf​: The topological model of intuitionistic type theory (Seminar, Combinatorics) Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit (KTH, Stockholm, Sweden)Per Martin-Löf​: The topological model of intuitionistic type theory (Seminar, Combinatorics)

• Karim Adiprasito: Genericity in algebraic geometry

  7 Dec

  Seminar, Combinatorics

  Thursday 2017-12-07, 13:15 - 14:15

  Participating: Karim Adiprasito, Hebrew University of Jerusalem

  Location: Room 3418, Lindstedtsvägen 25. Department of Mathematics, KTH

  2017-12-07T13:15:00.000+01:00 2017-12-07T14:15:00.000+01:00 Karim Adiprasito: Genericity in algebraic geometry (Seminar, Combinatorics) Room 3418, Lindstedtsvägen 25. Department of Mathematics, KTH (KTH, Stockholm, Sweden)Karim Adiprasito: Genericity in algebraic geometry (Seminar, Combinatorics)