BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Making Sense out of an Advanced Type System
DTSTART:20100913T150000
DTSTAMP:20260530T140856Z
UID:ed815cedcd46747ab882e90be5c9e8dc66c69043f67ba5bdf533322b
CATEGORIES:Conferences - Seminars
DESCRIPTION:Mr Hubert Plociniczak\nEDIC Candidacy Exam:Exam president: Pro
 f. Claude PetitpierreThesis director: Prof. Martin OderskyCo-examiner: Pro
 f. Viktor KuncakResearch Proposal Let should not be generalized by Dimitri
 os Vytiniotis\, Simon Peyton Jones\, Tom SchrijversImproving Type Error Di
 agnosis by Peter J. Stuckey\, Martin Sulzmann\, Jeremy Wazny Type inferenc
 e with constrained types by Martin Odersky\,  Martin Sulzmann\, Martin Weh
 r
LOCATION:BC 010 https://plan.epfl.ch/?room==BC%20010
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR