One of the great things we do in MSR is host academics on sabbatical. We've recently had the pleasure of Bob Harper's company. I've learnt a lot from Bob - primarily I now understand better the "judgemental" techniques that he and Frank Pfenning have been using over the past few years. This stuff is way cool!
On Friday we had a farewell dinner. It was quite an evening! Andy Gordon has posted some pictures on his blog.