Special talk by Kasper Svendsen on Compositional reasoning about concurrent software Info about event Time Monday 24 April 2017, at 11:00 - 12:00 Add to calendar Location Nygaard 295