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 20241003, 13:00  15:00
Participating: Peter Dybjer (Chalmers)
Location: Albano house 1, floor 3, room 11 (Kovalevsky)
20241003T13:00:00.000+02:00 20241003T15: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 20241003, 14:30  16:00
Participating: Tom Britton
Location: Cramér room, House 1, Albano
20241003T14:30:00.000+02:00 20241003T16: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 20241003, 15:00  16:00
Participating: Evan Cavallo (Gothenburg)
Location: Albano house 1, floor 3, room 11 (Kovalevsky)
20241003T15:00:00.000+02:00 20241003T16: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 20241004, 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
20241004T13:00:00.000+02:00 20241004T13: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 20241004, 15:15  16:15
Location: 3721
20241004T15:15:00.000+02:00 20241004T16:15:00.000+02:00 Johann Skåntorp: Cutting Planes for Outer Approximation in MixedInteger Semidefinite Programming (Seminar, Graduate student) 3721 (KTH, Stockholm, Sweden)Johann Skåntorp: Cutting Planes for Outer Approximation in MixedInteger Semidefinite Programming (Seminar, Graduate student)