Examensarbete

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

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