Kalender
Må 30 mars - Sö 5 april
-
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) -
Examensarbete
torsdag 2020-04-02, 10.00 - 11.00
Medverkande: Joel Åhfeldt
Plats: Zoom, Meeting ID: 548-557-955
2020-04-02T10:00:00.000+02:00 2020-04-02T11:00:00.000+02:00 Joel Åhfeldt: Permutation groups and some applications on graph theory (Examensarbete) Zoom, Meeting ID: 548-557-955 (KTH, Stockholm, Sweden)Joel Åhfeldt: Permutation groups and some applications on graph theory (Examensarbete) -
Examensarbete
fredag 2020-04-03, 11.00 - 12.00
Medverkande: Lois Veen
Plats: Zoom, Meeting ID: 167 895 497
2020-04-03T11:00:00.000+02:00 2020-04-03T12:00:00.000+02:00 Lois Veen: The SIR Model: Understanding the Spread of Disease (Examensarbete) Zoom, Meeting ID: 167 895 497 (KTH, Stockholm, Sweden)Lois Veen: The SIR Model: Understanding the Spread of Disease (Examensarbete) -
Seminarium, Doktorand
fredag 2020-04-03, 13.00 - 14.00
Medverkande: Aleksa Stankovic
Plats: Zoom meeting ID 206 867 499
2020-04-03T13:00:00.000+02:00 2020-04-03T14:00:00.000+02:00 Aleksa Stankovic: Upper bounds on the size of subsets in F_3^n without three-term arithmetic progressions (Seminarium, Doktorand) Zoom meeting ID 206 867 499 (KTH, Stockholm, Sweden)Aleksa Stankovic: Upper bounds on the size of subsets in F_3^n without three-term arithmetic progressions (Seminarium, Doktorand)