11th Wessex Theory Seminar
The eleventh meeting of the Wessex Theory Seminar will take place on Friday 17th June 2011 at the University of Leicester (it takes 10-15 minutes
to reach the campus from the train station on foot).
1pm Lunch (Charles Wilson Building, 5th floor)
David Hopkins (Oxford),
Martin Churchill (Bath), Imperative Programs as Proofs via Game Semantics
6pm-10pm Pub drinks, Dinner at //www.kayalrestaurant.com/LeicesterMenu.aspx
From Queen Mary:
See all Wessex sites involved and meetings so far.