A Proof Assistant Prototype Based on Algebraic Effects and Handlers Date March 21, 2013 Speakers Andrej Bauer, Institute for Advanced Study Affiliation University of Ljubljana, Slovenia; Member, School of Mathematics School of Mathematics Univalent