Calendar
Mon 30 March - Sun 05 April
-
30MarDegree projectMonday 2020-03-30, 09:30 - 10:30Lecturer: Elisabeth BonnevierLocation: Zoom, Meeting ID: 788 997 0202020-03-30T09:30:00.000+02:00 2020-03-30T10:30:00.000+02:00 Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Degree project) Zoom, Meeting ID: 788 997 020 (KTH, Stockholm, Sweden)Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMath (Degree project)
-
30MarDegree projectMonday 2020-03-30, 11:00 - 12:00Lecturer: Philip StassenLocation: Zoom, Meeting ID: 678 046 9732020-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 (Degree project) Zoom, Meeting ID: 678 046 973 (KTH, Stockholm, Sweden)Philip Stassen: An Analysis of Curiens Explicit Syntax for Dependent Type Theory (Degree project)
-
30MarDegree projectMonday 2020-03-30, 14:00 - 15:00Lecturer: Olavus RogowskiLocation: 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 (Degree project) Zoom Meeting ID: 642 223 267 (KTH, Stockholm, Sweden)Olavus Rogowski: Kedjebråk, Fareyföljder och Fordcirklar (Degree project)
-
31MarDegree projectTuesday 2020-03-31, 11:00 - 12:00Lecturer: Jose Tapia QuijadaLocation: Zoom, Meeting ID: 918 620 6312020-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 (Degree project) Zoom, Meeting ID: 918 620 631 (KTH, Stockholm, Sweden)Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Models in Systems Biology (Degree project)
-
2AprDegree projectThursday 2020-04-02, 10:00 - 11:00Lecturer: Joel ÅhfeldtLocation: Zoom, Meeting ID: 548-557-9552020-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 (Degree project) Zoom, Meeting ID: 548-557-955 (KTH, Stockholm, Sweden)Joel Åhfeldt: Permutation groups and some applications on graph theory (Degree project)
-
3AprDegree projectFriday 2020-04-03, 11:00 - 12:00Lecturer: Lois VeenLocation: Zoom, Meeting ID: 167 895 4972020-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 (Degree project) Zoom, Meeting ID: 167 895 497 (KTH, Stockholm, Sweden)Lois Veen: The SIR Model: Understanding the Spread of Disease (Degree project)
-
3AprSeminar, Graduate studentFriday 2020-04-03, 13:00 - 14:00Lecturer: Aleksa StankovicLocation: Zoom meeting ID 206 867 4992020-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 (Seminar, Graduate student) 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 (Seminar, Graduate student)