Calendar
Sat 13 June
No calendar events were found within the current period.
Upcoming calendar events:
-
Degree project
Monday 2020-06-15, 13:00 - 14:00
Participating: Maia Jenawi
Location: 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 (Degree project) Zoom, meeting ID: 691 9173 2772 (KTH, Stockholm, Sweden)Maia Jenawi: Historisk utveckling av Linjär Algebraoch dess tillämpningar (Degree project) -
Licentiate seminar
Monday 2020-06-15, 14:30
Location: Zoom, meeting ID: 666 6583 8464
Doctoral student: 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 (Licentiate seminar) Zoom, meeting ID: 666 6583 8464 (KTH, Stockholm, Sweden)Menno de Boer: A proof and formalization of the initiality conjecture of dependent type theory (Licentiate seminar) -
Degree project
Monday 2020-06-15, 14:30 - 15:30
Participating: Liana Ghukasyan
Location: 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 (Degree project) Zoom, meeting ID: 699 1246 8079 (KTH, Stockholm, Sweden)Liana Ghukasyan: Binomialsatsen (Degree project)