Child pages
  • 11th Wessex Theory Seminar
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 9 Next »

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).

//www2.le.ac.uk/maps/campusaccess.pdf

Preliminary Programme

1pm Lunch (Charles Wilson Building, 5th floor)

2pm-6pm Talks

David Hopkins (Oxford),
Martin Churchill (Bath), Imperative Programs as Proofs via Game Semantics

6pm-10pm Pub drinks, Dinner at //www.kayalrestaurant.com/LeicesterMenu.aspx

Abstracts

Attendance

From Bath:

From Birmingham:

From Cambridge:

From Imperial:

From Leicester:

From Oxford:

From Queen Mary:

From Southampton:

From Sussex:

From Swansea:

See all Wessex sites involved and meetings so far.

  • No labels