Nottingham -- DTP 2008.

Spent the first part of the week in Nottingham at the Workshop on Dependently Typed Programming. It was a very interesting workshop organized by Thorsen Altenkirch and his group at Nottingham. Programming with dependent types in Nuprl is what I've been doing in my research for some time. There seems to be a kind of moment right now when it has come into its own.

I didn't have time to take many photos, but here's another pub photo (an almost lost genre that I am working to reestablish) of some of the conference attendees.


Left to Right: James McKinna (now at Nijmegen), Noam Zeilberger(CMU), Xaveier Leroy [mostly hidden](INRIA), Connor McBride (Alta Systems), Sebastian Hanowksy, Ulf Norrell [blurred](Chalmers), Peter Morris(Nottingham), ???, Randy Pollack[blurred] (Edinburgh),???, Sean Wilson(Edinburgh).

Left to Right: James, Noam , Xavier[more visible here], Connor [blurred by duck], Sebastian [hidden], Ulf, Peter, ???, Randy [blurred],???, Sean.

These are low light hand held shots taken at F2.8 with an exposure of 8/10 of a second taken with a Canon G9. They've been stitched together with the Canon software which didn't do such a good job here (look at the picture on the back wall) but they weren't very carefully panned to match up either.