Kalender

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Maia Jenawi: Historisk utveckling av Linjär Algebraoch dess tillämpningar

  15 jun

  Examensarbete

  måndag 2020-06-15, 13.00 - 14.00

  Medverkande: Maia Jenawi

  Plats: Zoom, meeting ID: 691 9173 2772

  2020-06-15T13:00:00.000+02:00 2020-06-15T14:00:00.000+02:00 Maia Jenawi: Historisk utveckling av Linjär Algebraoch dess tillämpningar (Examensarbete) Zoom, meeting ID: 691 9173 2772 (KTH, Stockholm, Sweden)Maia Jenawi: Historisk utveckling av Linjär Algebraoch dess tillämpningar (Examensarbete)

• Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory

  15 jun

  Licentiatseminarium

  måndag 2020-06-15, 14.30

  Plats: Zoom, meeting ID: 666 6583 8464

  Respondent: Menno de Boer , Stockholms universitet

  2020-06-15T14:30:00.000+02:00 2020-06-15T14:30:00.000+02:00 Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium) Zoom, meeting ID: 666 6583 8464 (KTH, Stockholm, Sweden)Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiatseminarium)

• Liana Ghukasyan: Binomialsatsen

  15 jun

  Examensarbete

  måndag 2020-06-15, 14.30 - 15.30

  Medverkande: Liana Ghukasyan

  Plats: Zoom, meeting ID: 699 1246 8079

  2020-06-15T14:30:00.000+02:00 2020-06-15T15:30:00.000+02:00 Liana Ghukasyan: Binomialsatsen (Examensarbete) Zoom, meeting ID: 699 1246 8079 (KTH, Stockholm, Sweden)Liana Ghukasyan: Binomialsatsen (Examensarbete)