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

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

  • from Aberdeen: Gabrielle Anderson 
  • from Bath: Jess Jones, Guy McCusker, Cai Wingfield
  • from Birmingham: Martín Escardó, Paul Levy, Chuangjie Xu
  • from Queen Mary: Jules Hedges, Paulo Oliva 
  • from Southampton: Geoff Birch, Alex Davenport, Corina Cirstea, Julian Rathke, Owen Stephens, Pawel Sobocinski, Toby Wilkinson
  • from Sussex: Bernhard Reus
  • from Swansea: Gregory Woods



  • No labels