Seminarium, Kombinatorik

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

6 dec

Seminarium, Kombinatorik

onsdag 2017-12-06, 10.00 - 11.45

Medverkande: Per Martin-Löf

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

Karim Adiprasito: Genericity in algebraic geometry

7 dec

Seminarium, Kombinatorik

torsdag 2017-12-07, 13.15 - 14.15

Medverkande: Karim Adiprasito, Hebrew University of Jerusalem

Plats: 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 (Seminarium, Kombinatorik) Room 3418, Lindstedtsvägen 25. Department of Mathematics, KTH (KTH, Stockholm, Sweden)Karim Adiprasito: Genericity in algebraic geometry (Seminarium, Kombinatorik)