BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Practical Effect Systems
DTSTART:20140702T110000
DTSTAMP:20260407T055812Z
UID:22d66757c279a2908e91a77c27a296833224b1cd845ba76457d8f20d
CATEGORIES:Conferences - Seminars
DESCRIPTION:Sébastien Doeraene\nCandidacy exam\nExam president: Prof. Chr
 istoph Koch\nThesis director : Prof. Martin Odersky\nCo-examiner    : P
 rof. George CandeaResearch Proposal\nThe marriage of effects and monads by
  Philip Wadler.A generic type-and-effect system by Daniel Marino and Todd 
 Millstein.Programming and reasoning with algebraic effects and dependent t
 ypes by Edwin Brady.
LOCATION:INR331 http://plan.epfl.ch/?lang=fr&room=inr331
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR