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)
Pierre Clairambault (Bath), Isomorphisms of types in the presence of higher-order references
David Hopkins (Oxford), A Fragment of ML Decidable by Visibly
Martin Churchill (Bath), Imperative Programs as Proofs via Game Semantics
6pm-10pm Pub drinks, Dinner at Kayal
From Queen Mary:
See all Wessex sites involved and meetings so far.