Snakes and Ladders

Time and Location:

Nov. 06, 2015 at 11:30AM; Warren Weaver Hall, Room TBA,

Speaker:

Jade Alglave, Microsoft Research Cambridge (UK) & University College London