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 five divisions.

Divisions

Mathematics

Mathematics of Data and AI

Mathematical Statistics

Numerical Analysis

Optimization and Systems Theory

Department links

Internal web pages
Webmail

Calendar

Taichi Uemura: Homotopy type theory as an internal language of a diagram of infinity logoses

5
Oct

Seminar, Logic

Wednesday 2022-10-05, 10:00 - 12:00

Lecturer: Taichi Uemura (Stockholm University)

Location: 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 (Seminar, Logic) 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 (Seminar, Logic)
Johanna Steinmeyer:Lefschetz and unimodality for Lattice Polytopes

5
Oct

Seminar, Combinatorics

Wednesday 2022-10-05, 10:15 - 11:15

Location: 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 (Seminar, Combinatorics) 3721 (KTH, Stockholm, Sweden)Johanna Steinmeyer:Lefschetz and unimodality for Lattice Polytopes (Seminar, Combinatorics)
Matthew de Courcy-Ireland: Six-dimensional sphere packing and linear programming

5
Oct

Seminar, Analysis Stockholm

Wednesday 2022-10-05, 11:00 - 12:00

Lecturer: Matthew de Courcy-Ireland (SU)

Location: 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 (Seminar, Analysis Stockholm) Albano house 1, floor 3, Cramérrummet (KTH, Stockholm, Sweden)Matthew de Courcy-Ireland: Six-dimensional sphere packing and linear programming (Seminar, Analysis Stockholm)
Ivan Di Liberti: \vdash vs \models

5
Oct

Seminar, Computational Mathematics

Wednesday 2022-10-05, 13:00

Lecturer: Ivan Di Liberti

Location: 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 (Seminar, Computational Mathematics) Albano, Cramer room (KTH, Stockholm, Sweden)Ivan Di Liberti: \vdash vs \models (Seminar, Computational Mathematics)
Ronno Das: Hypersurfaces and inclusion-exclusion

5
Oct

Seminar, Algebra & Geometry

Wednesday 2022-10-05, 13:15

Lecturer: Ronno Das, Stockholm University

Location: KTH, 3418

2022-10-05T13:15:00.000+02:00 2022-10-05T13:15:00.000+02:00 Ronno Das: Hypersurfaces and inclusion-exclusion (Seminar, Algebra & Geometry) KTH, 3418 (KTH, Stockholm, Sweden)Ronno Das: Hypersurfaces and inclusion-exclusion (Seminar, Algebra & Geometry)