BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Dependent Object Types
DTSTART:20120912T130000
DTSTAMP:20260407T101212Z
UID:062f9af3bb7cc48ec732cf692ce2dd27f8392c2a8112de0bedfb000c
CATEGORIES:Conferences - Seminars
DESCRIPTION:Ms Nada Amin\nEDIC Candidacy Exam:\nExam president: Prof. Rach
 id Guerraoui\nThesis director: Prof. Martin Odersky\nCo-examiner: Prof. Vi
 ktor Kuncak\n\nResearch Proposal\n\nA type-theoretic approach to higher-or
 der modules with sharing by Robert Harper and Mark Lillibridge.\nTribe: A 
 Simple Virtual Class Calculus by Dave Clarke\, Sophia Drossopoulou\, James
  Noble and Tobias Wrigstad.\nA Nominal Theory of Objects with Dependent Ty
 pes by Martin Odersky\, Vincent Cremet\, Christine Röckl and Matthias Zen
 ger\n\n
LOCATION:INR331 http://plan.epfl.ch/
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR