Kalender
On 2 mars
-
Seminarium, Logik
onsdag 2022-03-02, 10.00 - 12.00
Medverkande: Axel Ljungström (Stockholm University)
Plats: Kräftriket, House 5, Room 31
2022-03-02T10:00:00.000+01:00 2022-03-02T12:00:00.000+01:00 Axel Ljungström: The Fourth Homotopy Group of the 3-Sphere is Z/2Z: A Complete(ly Formalised) Proof (Seminarium, Logik) Kräftriket, House 5, Room 31 (KTH, Stockholm, Sweden)Axel Ljungström: The Fourth Homotopy Group of the 3-Sphere is Z/2Z: A Complete(ly Formalised) Proof (Seminarium, Logik) -
Seminarium, Kombinatorik
onsdag 2022-03-02, 10.15 - 11.15
Medverkande: Laura Sanita
Plats: Zoom meeting ID: 654 5562 3260
2022-03-02T10:15:00.000+01:00 2022-03-02T11:15:00.000+01:00 Laura Sanita: On the Simplex method for 0/1 polytopes (Seminarium, Kombinatorik) Zoom meeting ID: 654 5562 3260 (KTH, Stockholm, Sweden)Laura Sanita: On the Simplex method for 0/1 polytopes (Seminarium, Kombinatorik)