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.
The talks will take place in the Attenborough Building (LT3 in the seminar block).
1pm Lunch (Campus, Charles Wilson Building, 5th floor)
2-6pm Talks (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
Paul Levy (Birmingham): Operational Game Semantics
after 6pm Pub Drinks & Dinner at Kayal*
From Queen Mary:
See all Wessex sites involved and meetings so far.