And it looks like there's an afterparty. Quite tired, and I do need to be up tomorrow (as well as have dinner with a guest speaker!), so I think I'll have a nice stroll there, have one drink (if that), then call it a day, and make up for productivity tomorrow.