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 on Campus (Charles Wilson Building, 5th floor)
2-6pm Talks (new offers still welcome)
Pierre Clairambault (Bath): Isomorphisms of types in the presence of higher-order references
David Hopkins (Oxford): A Fragment of ML Decidable by Visibly Pushdown Automata
Martin Churchill (Bath): Imperative Programs as Proofs via Game Semantics
after 6pm Pub Drinks & Dinner at Kayal*
From Queen Mary:
See all Wessex sites involved and meetings so far.