The 18th Wessex Theory Seminar will take place at the Highfield Campus of the University of Southampton on Tuesday 15th January. The location will be Lecture Theatre B in the Shackleton building (44/1057).
The Shackleton building is building number 44, in the lower left corner on this campus map. If you are coming by train, you can arrive at the campus by taking a Unilink bus either from Southampton Central (U1A bus) or Southampton Airport Parkway (U1C bus) train stations. The buses run every 10-15 minutes. A convenient bus stop is in front of the university gym (building 18) on University Road.
11:15 - 12:00 Martín Escardó - Constructive instances of excluded middle
12:00 - 12:45 Jules Hedges - Selection functions, games and Nash equilibria
12:40 - 14:00 Lunch in the staff club
14:00 - 14:45 Toby Wilkinson - Enriched coalgebraic modal logic
14:45 - 15:30 Gabrielle Anderson - Dynamic Software Update for Message Passing Programs
15:30 - 16:00 Coffee break
16:00 - 16:45 Paul Levy - Games on position categories
16:45 - 17:30 Bernhard Reus - A "Hybrid" Semantics for Reasoning about Higher-Order Store
The attendees will include