Last week I had the pleasure of attending the Computability in Europe conference in the lovely seaside town of Swansea, Wales. Lots of interesting talks on all kinds of aspects of computation, including a number of talks on the (limits of) hypercomputation, a tutorial on proof complexity by Sam Buss, and special sessions on Gödel’s legacy for computability theory with talks by Arnon Avron, John Dawson, Andrew Hodges, and Wilfried Sieg. I won’t talk about the details–the abstracts are up on the website, the slides for many of the talks should be up very soon, and the proceedings volumes (invited, contributed [big PDF!] talks) are online as well.
Oh, and this guy stopped by to visit the building across from the conference site:
I also had an enjoyable bus ride back to Heathrow with Bob Meyer, talking about relevant logic and the epsilon calculus.