Kalender

Sina Hazratpour: Formalizing the meta-theory of HoTT in Lean 4

19 feb

Seminarium, Logik

onsdag 2025-02-19, 10.00 - 12.00

Medverkande: Sina Hazratpour

Plats: 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 (Seminarium, Logik) Albano house 1, floor 3, Room U (Kovalevsky) (KTH, Stockholm, Sweden)Sina Hazratpour: Formalizing the meta-theory of HoTT in Lean 4 (Seminarium, Logik)

Liam Solus: Cosmological polytopes: an update

19 feb

Seminarium, Kombinatorik

onsdag 2025-02-19, 10.15 - 11.15

Plats: 3418

2025-02-19T10:15:00.000+01:00 2025-02-19T11:15:00.000+01:00 Liam Solus: Cosmological polytopes: an update (Seminarium, Kombinatorik) 3418 (KTH, Stockholm, Sweden)Liam Solus: Cosmological polytopes: an update (Seminarium, Kombinatorik)

Christian Blohmann: Homotopy reduction of the homotopy momentum map of general relativity

19 feb

Seminarium, Mittag-Leffler

onsdag 2025-02-19, 10.30 - 11.30

Medverkande: Christian Blohmann, Max Planck Institute, Bonn

Plats: Zoom

Videolänk: 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 (Seminarium, Mittag-Leffler) Zoom (KTH, Stockholm, Sweden)Christian Blohmann: Homotopy reduction of the homotopy momentum map of general relativity (Seminarium, Mittag-Leffler)

Eric Schippers: Overfare through curves in Riemann surfaces

19 feb

Seminarium, Analys Stockholm

onsdag 2025-02-19, 11.00 - 12.00

Medverkande: Eric Schippers (Manitoba, Kanada)

Plats: 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 (Seminarium, Analys Stockholm) Albano, house 1, floor 3, Cramérrummet (KTH, Stockholm, Sweden)Eric Schippers: Overfare through curves in Riemann surfaces (Seminarium, Analys Stockholm)

Ivan Tolstoganov: Multi-context seeds enable fast and high-accuracy sequence alignment

19 feb

Seminarium, Beräkningsmatematik

onsdag 2025-02-19, 13.00 - 14.00

Medverkande: Ivan Tolstoganov

Plats: 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 (Seminarium, Beräkningsmatematik) Room Cramer (KTH, Stockholm, Sweden)Ivan Tolstoganov: Multi-context seeds enable fast and high-accuracy sequence alignment (Seminarium, Beräkningsmatematik)

Eric Ahlqvist: Massey products and class field towers

19 feb

Seminarium, Algebra och geometri

onsdag 2025-02-19, 13.15 - 14.15

Medverkande: Eric Ahlqvist (SU)

Plats: KTH 3418

2025-02-19T13:15:00.000+01:00 2025-02-19T14:15:00.000+01:00 Eric Ahlqvist: Massey products and class field towers (Seminarium, Algebra och geometri) KTH 3418 (KTH, Stockholm, Sweden)Eric Ahlqvist: Massey products and class field towers (Seminarium, Algebra och geometri)

Jonathan Breuer: Mini Course: An Overview of the Spectral Theory of Schrödinger Type Operators with a Random Decaying Potential

19 feb

Kursstart

onsdag 2025-02-19, 13.15 - 14.15

Medverkande: Jonathan Breuer

Plats: Room 3721, KTH

2025-02-19T13:15:00.000+01:00 2025-02-19T14:15:00.000+01:00 Jonathan Breuer: Mini Course: An Overview of the Spectral Theory of Schrödinger Type Operators with a Random Decaying Potential (Kursstart) Room 3721, KTH (KTH, Stockholm, Sweden)Jonathan Breuer: Mini Course: An Overview of the Spectral Theory of Schrödinger Type Operators with a Random Decaying Potential (Kursstart)

Taras Bodnar: Testing the mean-variance efficiency of a high-dimensional portfolio

19 feb

Seminarium, Matematisk statistik

onsdag 2025-02-19, 15.15 - 16.00

Medverkande: Taras Bodnar (Linköping University)

Plats: Cramér room, Department of Mathematics, Campus Albano, House 1, floor 3

2025-02-19T15:15:00.000+01:00 2025-02-19T16:00:00.000+01:00 Taras Bodnar: Testing the mean-variance efficiency of a high-dimensional portfolio (Seminarium, Matematisk statistik) Cramér room, Department of Mathematics, Campus Albano, House 1, floor 3 (KTH, Stockholm, Sweden)Taras Bodnar: Testing the mean-variance efficiency of a high-dimensional portfolio (Seminarium, Matematisk statistik)