BEGIN:VCALENDAR PRODID:www.uu.nl VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT UID:538b92c637a6779c6be815c7a1744518 DTSTAMP:20251027T083624Z SUMMARY:Promotie: Type-Safe Generic Differencing of Mutually Recursive Fami lies DESCRIPTION:Proefschrift van V. Cacciari Miraldo MSc (Faculteit Bètawetens chappen / Software Technology for Learning and Teaching).\nhttps://live.st arleaf.com/ODQxMDg6NjY3ODk1 DTSTART:20201005T090000Z DTEND:20201005T100000Z LOCATION:Academiegebouw\, Domplein 29 & online (link) X-ALT-DESC;FMTTYPE=text/html: END:VEVENT END:VCALENDAR