Small Lecture Theatre, Microsoft Research Ltd, Roger Needham Building, 7 J J Thomson Avenue (Off Madingley Road), CB3 0FB