Examensarbete
Sö 1 mars - Ti 31 mars
-
30marExamensarbetemåndag 2020-03-30, 09.30 - 10.30Föreläsare: Elisabeth Bonnevier2020-03-30T09:30:00.000+02:00 2020-03-30T10:30:00.000+02:00 Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete) Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Examensarbete)
-
30marExamensarbetemåndag 2020-03-30, 11.00 - 12.00Föreläsare: Philip Stassen2020-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) Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Examensarbete)
-
30marExamensarbetemåndag 2020-03-30, 14.00 - 15.00Föreläsare: Olavus RogowskiPlats: Zoom Meeting ID: 642 223 2672020-03-30T14:00:00.000+02:00 2020-03-30T15:00:00.000+02:00 Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Examensarbete) Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Examensarbete)
-
31marExamensarbetetisdag 2020-03-31, 11.00 - 12.00Föreläsare: Jose Tapia Quijada2020-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) Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology (Examensarbete)