Calendar
Wed 05 October
-
Seminar, Logic
Wednesday 2022-10-05, 10:00 - 12:00
Participating: Taichi Uemura (Stockholm University)
Location: Albano house 1, floor 3, Room U (Kovalevsky)
2022-10-05T10:00:00.000+02:00 2022-10-05T12:00:00.000+02:00 Taichi Uemura: Homotopy type theory as an internal language of a diagram of infinity logoses (Seminar, Logic) Albano house 1, floor 3, Room U (Kovalevsky) (KTH, Stockholm, Sweden)Taichi Uemura: Homotopy type theory as an internal language of a diagram of infinity logoses (Seminar, Logic) -
Seminar, Combinatorics
Wednesday 2022-10-05, 10:15 - 11:15
Location: 3721
2022-10-05T10:15:00.000+02:00 2022-10-05T11:15:00.000+02:00 Johanna Steinmeyer:Lefschetz and unimodality for Lattice Polytopes (Seminar, Combinatorics) 3721 (KTH, Stockholm, Sweden)Johanna Steinmeyer:Lefschetz and unimodality for Lattice Polytopes (Seminar, Combinatorics) -
Seminar, Analysis Stockholm
Wednesday 2022-10-05, 11:00 - 12:00
Participating: Matthew de Courcy-Ireland (SU)
Location: Albano house 1, floor 3, Cramérrummet
2022-10-05T11:00:00.000+02:00 2022-10-05T12:00:00.000+02:00 Matthew de Courcy-Ireland: Six-dimensional sphere packing and linear programming (Seminar, Analysis Stockholm) Albano house 1, floor 3, Cramérrummet (KTH, Stockholm, Sweden)Matthew de Courcy-Ireland: Six-dimensional sphere packing and linear programming (Seminar, Analysis Stockholm) -
Seminar, Computational Mathematics
Wednesday 2022-10-05, 13:00
Participating: Ivan Di Liberti
Location: Albano, Cramer room
2022-10-05T13:00:00.000+02:00 2022-10-05T13:00:00.000+02:00 Ivan Di Liberti: \vdash vs \models (Seminar, Computational Mathematics) Albano, Cramer room (KTH, Stockholm, Sweden)Ivan Di Liberti: \vdash vs \models (Seminar, Computational Mathematics) -
Seminar, Algebra & Geometry
Wednesday 2022-10-05, 13:15
Participating: Ronno Das, Stockholm University
Location: KTH, 3418
2022-10-05T13:15:00.000+02:00 2022-10-05T13:15:00.000+02:00 Ronno Das: Hypersurfaces and inclusion-exclusion (Seminar, Algebra & Geometry) KTH, 3418 (KTH, Stockholm, Sweden)Ronno Das: Hypersurfaces and inclusion-exclusion (Seminar, Algebra & Geometry)