Richard turns 65 this month. Even though he's "just a programmer", Richard has had a big impact on many of our ideas on program proving, and on reasoning more generally, and we're having a birthday workshop for him (whether he likes it or not!).
The workshop will take place at the White Lion Hotel in Aldeburgh, Suffolk. It is near site of the notorious proof of cyclic list reversal from the summer of 2003. Go here for accomodation and travel info.
There is a schedule, below, but the style will be as in the (in)famous "yak sessions" held over the years in East London. The schedule might change, and talk titles are purposely not listed.
Tuesday 9 June
Wednesday 10 June
A meeting room, etc., at the White Lion has been booked, and a block of rooms has been reserved until June 1st. If you would like to attend, please let us know and also contact the hotel to register and book accommodation. We have agreed a package rate for the conference and accommodation, so please quote “Bornatfest” and event code MI090609 when you contact them. The hotel contact details are:
Best Western White Lion Hotel
Market Cross Place, Aldeburgh, Suffolk, IP15 5BJ
08715595110, http://www.bw-whitelionhotel.co.uk/
As to travel... for those going by car: lucky you! For those going from London, there is a train from London Liverpool Street to Saxmundham leaving at 09:38 on 9 June, and arriving at 11:41. It is then 7 miles to Aldeburgh by bus or taxi. This timing is perfect for taking advantage of the fact that Aldeburgh apparently has two excellent fish'n'chips shops, which could be sampled before the workshop starts.
The next train after 09:38 is at 11:38. So, it seems a bunch of us will go to Liverpool St in time for the 09:38 train. (For those of you who are absolute keeners, there is an 07:38 train as well.)