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
Thursday 2024-10-03, 13:00 - 15:00
Participating: Peter Dybjer (Chalmers)
Location: Albano house 1, floor 3, room 11 (Kovalevsky)
2024-10-03T13:00:00.000+02:00 2024-10-03T15:00:00.000+02:00 Peter Dybjer: Predicativity of the Mahlo universe in type theory (joint work with Anton Setzer) (Seminar, Logic) Albano house 1, floor 3, room 11 (Kovalevsky) (KTH, Stockholm, Sweden)Peter Dybjer: Predicativity of the Mahlo universe in type theory (joint work with Anton Setzer) (Seminar, Logic) -
Course start
Thursday 2024-10-03, 14:30 - 16:00
Participating: Tom Britton
Location: Cramér room, House 1, Albano
2024-10-03T14:30:00.000+02:00 2024-10-03T16:00:00.000+02:00 PhD Course: Soft skills for Mathematicians (Course start) Cramér room, House 1, Albano (KTH, Stockholm, Sweden)PhD Course: Soft skills for Mathematicians (Course start) -
Seminar, Logic
Thursday 2024-10-03, 15:00 - 16:00
Participating: Evan Cavallo (Gothenburg)
Location: Albano house 1, floor 3, room 11 (Kovalevsky)
2024-10-03T15:00:00.000+02:00 2024-10-03T16:00:00.000+02:00 Evan Cavallo: Interpreting cubical types as spaces (Seminar, Logic) Albano house 1, floor 3, room 11 (Kovalevsky) (KTH, Stockholm, Sweden)Evan Cavallo: Interpreting cubical types as spaces (Seminar, Logic) -
Dissertation
Friday 2024-10-04, 13:00
Participating: Max Zeuner (Stockholm University)
Location: Lärosal 5, Hus 1, Albano campus, Stockholm Univ.
Doctoral student: Max Zeuner , Department of Mathematics, Stockholm University
2024-10-04T13:00:00.000+02:00 2024-10-04T13:00:00.000+02:00 Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Dissertation) Lärosal 5, Hus 1, Albano campus, Stockholm Univ. (KTH, Stockholm, Sweden)Max Zeuner: Univalent Constructive Algebraic Geometry: Foundations and Formalizations (Dissertation) -
Seminar, Graduate student
Friday 2024-10-04, 15:15 - 16:15
Location: 3721
2024-10-04T15:15:00.000+02:00 2024-10-04T16:15:00.000+02:00 Johann Skåntorp: Cutting Planes for Outer Approximation in Mixed-Integer Semidefinite Programming (Seminar, Graduate student) 3721 (KTH, Stockholm, Sweden)Johann Skåntorp: Cutting Planes for Outer Approximation in Mixed-Integer Semidefinite Programming (Seminar, Graduate student)