Master Thesis Exam - Bjarke V. Grøn - How to Verify the Correctness of Delegated Computations Info about event Time Friday 25 October 2013, at 11:00 - 12:00 Add to calendar Location ADA 333 Organizer Dept. of Computer Science