BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Normalization of dependent types with subtyping
DTSTART:20220901T103000
DTEND:20220901T123000
DTSTAMP:20260411T052629Z
UID:54ed21d9c08179d6bbb0287fd9fed482804f62059c276171b9315d5f
CATEGORIES:Conferences - Seminars
DESCRIPTION:Matthieu Bovel\nEDIC candidacy exam\nExam president: Prof. Rac
 hid Guerraoui\nThesis advisor: Prof. Martin Odersky\nThesis co-advisor: Pr
 of Viktor Kuncak\nCo-examiner: Prof. Christoph Koch\n\nAbstract\ncoming so
 on\n\nBackground papers\n[1] T. Freeman and F. Pfenning\, “Refinement t
 ypes for ml\,” SIGPLAN\nNot.\, vol. 26\, no. 6\, p. 268–277\, 
 may 1991. [Online]. Available:\nhttps://doi.org/10.1145/113446.113468\n
 [2] D. Aspinall\, “Subtyping with singleton types\,” in Computer Sci
 ence\nLogic\, L. Pacholski and J. Tiuryn\, Eds. Berlin\, Heidelber
 g:\nSpringer Berlin Heidelberg\, 1995\, pp. 1–15. [Online]. Avail
 able:\nhttps://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.5.8740&re
 p=rep1&type=pdf\n[3] O. Blanvillain\, J. I. Brachth ̈auser\, M. Kjaer\, 
 and M. Odersky\, “Type-level\nprogramming with match types\,” Proc. A
 CM Program. Lang.\, vol. 6\, no.\nPOPL\, jan 2022. [Online]. Available: ht
 tps://doi.org/10.1145/3498698\n 
LOCATION:INR 331 https://plan.epfl.ch/?room==INR%20331
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR