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.

Programme

11:15 - 12:00 Martín Escardó - Constructive instances of excluded middle

12:00 - 12:45 Jules HedgesSelection 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 ReusA "Hybrid" Semantics for Reasoning about Higher-Order Store

The attendees will include