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