Department of Mathematics
Mathematics can be described as the science which, using logic, investigates properties and patterns of abstract structures. Historically, mathematics has developed in close interplay with the natural sciences and technology. The department hosts four divisions.
Divisions
-
Seminar, Logic
Wednesday 2025-02-19, 10:00 - 12:00
Participating: Sina Hazratpour
Location: Albano house 1, floor 3, Room U (Kovalevsky)
2025-02-19T10:00:00.000+01:00 2025-02-19T12:00:00.000+01:00 Sina Hazratpour: Formalizing the meta-theory of HoTT in Lean 4 (Seminar, Logic) Albano house 1, floor 3, Room U (Kovalevsky) (KTH, Stockholm, Sweden)Sina Hazratpour: Formalizing the meta-theory of HoTT in Lean 4 (Seminar, Logic) -
Seminar, Combinatorics
Wednesday 2025-02-19, 10:15 - 11:15
Location: 3418
2025-02-19T10:15:00.000+01:00 2025-02-19T11:15:00.000+01:00 Liam Solus: Cosmological polytopes: an update (Seminar, Combinatorics) 3418 (KTH, Stockholm, Sweden)Liam Solus: Cosmological polytopes: an update (Seminar, Combinatorics) -
Seminar, Mittag-Leffler
Wednesday 2025-02-19, 10:30 - 11:30
Participating: Christian Blohmann, Max Planck Institute, Bonn
Location: Zoom
Video link: Meeting ID: 921 756 1890
2025-02-19T10:30:00.000+01:00 2025-02-19T11:30:00.000+01:00 Christian Blohmann: Homotopy reduction of the homotopy momentum map of general relativity (Seminar, Mittag-Leffler) Zoom (KTH, Stockholm, Sweden)Christian Blohmann: Homotopy reduction of the homotopy momentum map of general relativity (Seminar, Mittag-Leffler) -
Seminar, Analysis Stockholm
Wednesday 2025-02-19, 11:00 - 12:00
Participating: Eric Schippers (Manitoba, Kanada)
Location: Albano, house 1, floor 3, Cramérrummet
2025-02-19T11:00:00.000+01:00 2025-02-19T12:00:00.000+01:00 Eric Schippers: Overfare through curves in Riemann surfaces (Seminar, Analysis Stockholm) Albano, house 1, floor 3, Cramérrummet (KTH, Stockholm, Sweden)Eric Schippers: Overfare through curves in Riemann surfaces (Seminar, Analysis Stockholm) -
Seminar, Computational Mathematics
Wednesday 2025-02-19, 13:00 - 14:00
Participating: Ivan Tolstoganov
Location: Room Cramer
2025-02-19T13:00:00.000+01:00 2025-02-19T14:00:00.000+01:00 Ivan Tolstoganov: Multi-context seeds enable fast and high-accuracy sequence alignment (Seminar, Computational Mathematics) Room Cramer (KTH, Stockholm, Sweden)Ivan Tolstoganov: Multi-context seeds enable fast and high-accuracy sequence alignment (Seminar, Computational Mathematics)