Calendar
Wed 23 November
-
Course start
Tue 2016-11-01, 10:00 - Tue 2016-12-20, 11:00
Location: Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University
2016-11-01T10:00:00.000+01:00 2016-12-20T11:00:00.000+01:00 Reading course: Homotopy Type Theory (Course start) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Reading course: Homotopy Type Theory (Course start) -
Seminar, Logic
Wednesday 2016-11-23, 10:00 - 11:45
Participating: Håkon Robbestad Gylterud
Location: Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University
2016-11-23T10:00:00.000+01:00 2016-11-23T11:45:00.000+01:00 Håkon Robbestad Gylterud: Categories with definitions (Seminar, Logic) Room 16, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Categories with definitions (Seminar, Logic) -
Seminar, Analysis SU
Wednesday 2016-11-23, 10:30 - 11:30
Participating: Lukasz Kosinski
Location: Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University
2016-11-23T10:30:00.000+01:00 2016-11-23T11:30:00.000+01:00 Lukasz Kosinski: Extension property (Seminar, Analysis SU) Room 306, building 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Lukasz Kosinski: Extension property (Seminar, Analysis SU) -
Seminar, Statistics
Wednesday 2016-11-23, 13:00 - 14:00
Participating: Innocent Ngaruye, Linköping University
Location: Room B705, Department of Statistics, Stockholm University
2016-11-23T13:00:00.000+01:00 2016-11-23T14:00:00.000+01:00 Innocent Ngaruye: Small Area Estimation for multivariate repeated measures data (Seminar, Statistics) Room B705, Department of Statistics, Stockholm University (KTH, Stockholm, Sweden)Innocent Ngaruye: Small Area Estimation for multivariate repeated measures data (Seminar, Statistics) -
Seminar, Algebra & Geometry
Wednesday 2016-11-23, 13:15 - 14:15
Participating: Gustav Sædén Ståhl, KTH
Location: Room 3418, KTH
2016-11-23T13:15:00.000+01:00 2016-11-23T14:15:00.000+01:00 Gustav Sædén Ståhl: The good Hilbert functor (Seminar, Algebra & Geometry) Room 3418, KTH (KTH, Stockholm, Sweden)Gustav Sædén Ståhl: The good Hilbert functor (Seminar, Algebra & Geometry) -
Seminar, Theoretical computer science
Wednesday 2016-11-23, 13:15 - 15:00
Participating: Pavel Pudlák, Institute of Mathematics, Czech Academy of Sciences
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-23T13:15:00.000+01:00 2016-11-23T15:00:00.000+01:00 Pavel Pudlák: The lower bound challenge in proof complexity (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Pavel Pudlák: The lower bound challenge in proof complexity (Seminar, Theoretical computer science) -
Seminar, KTH Analysis
Wednesday 2016-11-23, 13:15
Participating: Helge Holden, NTNU Norwegian University of Science and Technology
Location: 3721
2016-11-23T13:15:00.000+01:00 2016-11-23T13:15:00.000+01:00 Helge Holden: On traffic modeling and the Braess paradox (Seminar, KTH Analysis) 3721 (KTH, Stockholm, Sweden)Helge Holden: On traffic modeling and the Braess paradox (Seminar, KTH Analysis) -
Seminar, Mathematical statistics
Wednesday 2016-11-23, 15:15
Participating: David Bolin (Department of Mathematical Sciences, Chalmers University of Technology)
Location: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University
2016-11-23T15:15:00.000+01:00 2016-11-23T15:15:00.000+01:00 David Bolin: Multivariate normal inverse Gaussian Matérn fields (Seminar, Mathematical statistics) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)David Bolin: Multivariate normal inverse Gaussian Matérn fields (Seminar, Mathematical statistics)