Scheduled Wiki Upgrade
Please note that the wiki upgrade will take place on the Wed 29th - Thurs 30th August 2018, during which time the wiki will be read-only. Click here for more information
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 on campus, 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
after 6pm Pub Drinks & Dinner at Kayal*
From Queen Mary:
See all Wessex sites involved and meetings so far.