BCTCS at Durham University

It was a week of attending presentations and giving one... Also I had the chance to meet up with Steve and Sara who taught me back at Warwick ^_^. Incidentally according to some Formal Methods is not quite Theoretical Computer Science. Below is a photo taken from the bedroom I stayed at Grey College, overlooking the cathedral.