Kalender
On 5 oktober
-
Seminarium, Logik
onsdag 2022-10-05, 10.00 - 12.00
Medverkande: Taichi Uemura (Stockholm University)
Plats: 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 (Seminarium, Logik) 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 (Seminarium, Logik) -
Seminarium, Kombinatorik
onsdag 2022-10-05, 10.15 - 11.15
Plats: 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 (Seminarium, Kombinatorik) 3721 (KTH, Stockholm, Sweden)Johanna Steinmeyer:Lefschetz and unimodality for Lattice Polytopes (Seminarium, Kombinatorik) -
Seminarium, Analys Stockholm
onsdag 2022-10-05, 11.00 - 12.00
Medverkande: Matthew de Courcy-Ireland (SU)
Plats: 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 (Seminarium, Analys Stockholm) Albano house 1, floor 3, Cramérrummet (KTH, Stockholm, Sweden)Matthew de Courcy-Ireland: Six-dimensional sphere packing and linear programming (Seminarium, Analys Stockholm) -
Seminarium, Beräkningsmatematik
onsdag 2022-10-05, 13.00
Medverkande: Ivan Di Liberti
Plats: 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 (Seminarium, Beräkningsmatematik) Albano, Cramer room (KTH, Stockholm, Sweden)Ivan Di Liberti: \vdash vs \models (Seminarium, Beräkningsmatematik) -
Seminarium, Algebra och geometri
onsdag 2022-10-05, 13.15
Medverkande: Ronno Das, Stockholm University
Plats: KTH, 3418
2022-10-05T13:15:00.000+02:00 2022-10-05T13:15:00.000+02:00 Ronno Das: Hypersurfaces and inclusion-exclusion (Seminarium, Algebra och geometri) KTH, 3418 (KTH, Stockholm, Sweden)Ronno Das: Hypersurfaces and inclusion-exclusion (Seminarium, Algebra och geometri)