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
6-10pm Pub Drinks & Dinner at Kayal
From Queen Mary:
See all Wessex sites involved and meetings so far.