Kalender

Kristian Jonsson Moi: Universality and localization for K-theory

27 mar

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))

Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath

30 mar

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)

Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory

30 mar

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)

Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar

30 mar

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)

Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology

31 mar

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)