Kalender
To 12 mars - Ti 31 mars
-
Seminarium, Mittag-Leffler
torsdag 2020-03-12, 10.00 - 10.50
Medverkande: Mats boij, KTH
Plats: Institut Mittag-Leffler, Seminar Hall Kuskvillan
2020-03-12T10:00:00.000+01:00 2020-03-12T10:50:00.000+01:00 Mats boij: Waring rank and SLP for annihilators of symmetric forms (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Seminar Hall Kuskvillan (KTH, Stockholm, Sweden)Mats boij: Waring rank and SLP for annihilators of symmetric forms (Seminarium, Mittag-Leffler) -
Topologiska aktiviteter
torsdag 2020-03-12, 10.15 - 11.15
Medverkande: Tomasz Maciazek, Bristol
Plats: Kräftriket, house 6, room 306 (Cramér-rummet)
2020-03-12T10:15:00.000+01:00 2020-03-12T11:15:00.000+01:00 Tomasz Maciazek: Homology groups of graph configuration spaces (Topologiska aktiviteter) Kräftriket, house 6, room 306 (Cramér-rummet) (KTH, Stockholm, Sweden)Tomasz Maciazek: Homology groups of graph configuration spaces (Topologiska aktiviteter) -
Seminarium, Mittag-Leffler
torsdag 2020-03-12, 11.00 - 11.50
Medverkande: Alexander Engström, Aalto University
Plats: Institut Mittag-Leffler, Seminar Hall Kuskvillan
2020-03-12T11:00:00.000+01:00 2020-03-12T11:50:00.000+01:00 Alexander Engström: Refined Ehrhart polynomials and an h*-triangle (Seminarium, Mittag-Leffler) Institut Mittag-Leffler, Seminar Hall Kuskvillan (KTH, Stockholm, Sweden)Alexander Engström: Refined Ehrhart polynomials and an h*-triangle (Seminarium, Mittag-Leffler) -
Seminarium, Numerisk analys
torsdag 2020-03-12, 14.15 - 15.00
Medverkande: Barbara Verfürth, University of Augsburg
Plats: Room F11, Lindstedtsvägen 22, våningsplan 2, F-huset, KTH Campus.
2020-03-12T14:15:00.000+01:00 2020-03-12T15:00:00.000+01:00 Barbara Verfürth: Numerical homogenization of nonlinear multiscale diffusion problems (Seminarium, Numerisk analys) Room F11, Lindstedtsvägen 22, våningsplan 2, F-huset, KTH Campus. (KTH, Stockholm, Sweden)Barbara Verfürth: Numerical homogenization of nonlinear multiscale diffusion problems (Seminarium, Numerisk analys) -
Seminarium, Algebraisk geometri (arXiv)
fredag 2020-03-13, 10.15 - 12.00
Medverkande: Jeroen Hekking
Plats: SU, room 16
2020-03-13T10:15:00.000+01:00 2020-03-13T12:00:00.000+01:00 Jeroen Hekking: Higher topos theory (Seminarium, Algebraisk geometri (arXiv)) SU, room 16 (KTH, Stockholm, Sweden)Jeroen Hekking: Higher topos theory (Seminarium, Algebraisk geometri (arXiv)) -
Seminarium, Doktorand
fredag 2020-03-13, 13.15 - 14.15
Medverkande: Andrea Serio
Plats: Kräftriket, house 6, room 306 (Cramér-rummet)
2020-03-13T13:15:00.000+01:00 2020-03-13T14:15:00.000+01:00 Andrea Serio: Recovering properties of quantum graphs from their spectra (Seminarium, Doktorand) Kräftriket, house 6, room 306 (Cramér-rummet) (KTH, Stockholm, Sweden)Andrea Serio: Recovering properties of quantum graphs from their spectra (Seminarium, Doktorand) -
Seminarium, Beräkningsmatematik
onsdag 2020-03-25, 14.00 - 15.00
Medverkande: Max Zeuner
Plats: https://stockholmuniversity.zoom.us/j/384148555
2020-03-25T14:00:00.000+01:00 2020-03-25T15:00:00.000+01:00 Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminarium, Beräkningsmatematik) https://stockholmuniversity.zoom.us/j/384148555 (KTH, Stockholm, Sweden)Max Zeuner: Constructive Mathematics and the Computational Content of Proofs (Seminarium, Beräkningsmatematik) -
Seminarium, Algebraisk geometri (arXiv)
fredag 2020-03-27, 10.15 - 12.00
Medverkande: Kristian Jonsson Moi
Plats: Zoom
2020-03-27T10:15:00.000+01:00 2020-03-27T12:00:00.000+01:00 Kristian Jonsson Moi: Universality and localization for K-theory (Seminarium, Algebraisk geometri (arXiv)) Zoom (KTH, Stockholm, Sweden)Kristian Jonsson Moi: Universality and localization for K-theory (Seminarium, Algebraisk geometri (arXiv)) -
Examensarbete
måndag 2020-03-30, 09.30 - 10.30
Medverkande: Elisabeth Bonnevier
Plats: Zoom, Meeting ID: 788 997 020
2020-03-30T09:30:00.000+02:00 2020-03-30T10:30:00.000+02:00 Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete) Zoom, Meeting ID: 788 997 020 (KTH, Stockholm, Sweden)Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete) -
Examensarbete
måndag 2020-03-30, 11.00 - 12.00
Medverkande: Philip Stassen
Plats: Zoom, Meeting ID: 678 046 973
2020-03-30T11:00:00.000+02:00 2020-03-30T12:00:00.000+02:00 Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Examensarbete) Zoom, Meeting ID: 678 046 973 (KTH, Stockholm, Sweden)Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Examensarbete) -
Examensarbete
måndag 2020-03-30, 14.00 - 15.00
Medverkande: Olavus Rogowski
Plats: Zoom Meeting ID: 642 223 267
2020-03-30T14:00:00.000+02:00 2020-03-30T15:00:00.000+02:00 Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Examensarbete) Zoom Meeting ID: 642 223 267 (KTH, Stockholm, Sweden)Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Examensarbete) -
Examensarbete
tisdag 2020-03-31, 11.00 - 12.00
Medverkande: Jose Tapia Quijada
Plats: Zoom, Meeting ID: 918 620 631
2020-03-31T11:00:00.000+02:00 2020-03-31T12:00:00.000+02:00 Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology (Examensarbete) Zoom, Meeting ID: 918 620 631 (KTH, Stockholm, Sweden)Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology (Examensarbete)