Lecture by Gilles Barthe on Easycrypt Info about event Time Wednesday 23 November 2016, at 13:00 - 14:00 Add to calendar Location Nygaard-295