BEGIN:VCALENDAR
PRODID:-//Ben Fortuna//iCal4j 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
X-WR-CALNAME:Kalender
BEGIN:VEVENT
DTSTAMP:20200330T100359Z
SUMMARY:Elisabeth Bonnevier: Formalizing Cartesian Cubical Sets in UniMat
 h
DESCRIPTION:MsC Project
LOCATION:Zoom\, Meeting ID: 788 997 020
DTSTART:20200330T073000Z
DTEND:20200330T083000Z
UID:3da20c9e-643e-4cd1-8812-7a145315ae1e
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20200330T100359Z
SUMMARY:Philip Stassen: An Analysis of Curiens Explicit Syntax for Depend
 ent Type Theory
DESCRIPTION:MsC Project
LOCATION:Zoom\, Meeting ID: 678 046 973
DTSTART:20200330T090000Z
DTEND:20200330T100000Z
UID:0b1fd1e4-c84d-48ad-9d1a-47f692f5802c
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20200330T100359Z
SUMMARY:Olavus Rogowski: Kedjebråk\, Fareyföljder och Fordcirklar
DESCRIPTION:BsC Project
LOCATION:Zoom Meeting ID: 642 223 267
DTSTART:20200330T120000Z
DTEND:20200330T130000Z
UID:1105585b-001a-4707-95eb-95daf816175f
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20200330T100359Z
SUMMARY:Jose Tapia Quijada: Stability Analysis of Dynamic Mathematical Mo
 dels in Systems Biology
DESCRIPTION:MsC Project
LOCATION:Zoom\, Meeting ID: 918 620 631
DTSTART:20200331T090000Z
DTEND:20200331T100000Z
UID:3fffd26d-b05c-4863-bb15-6e247ce647b2
END:VEVENT
END:VCALENDAR