Sharing and Sequentiality in Proof Systems with Locality
Workshop
Royal Society International Exchanges
Bath 13–14 May 2014

Talks

13 May 2014 morning – Room EB 0.12

9:30–11:30    Stefano Berardi

11:30    Coffee

11:45–12:45    Mauro Piccolo

13 May 2014 afternoon – Room 1W 3.7

14:15–15:15    Felice Cardone

15:15    Coffee

15:30–16:30    Luca Paolini

16:30    Coffee

16:45–17:45    Alessio Guglielmi

14 May 2014 morning – Room EB 0.15

9:30–11:30    Stefano Berardi

11:30    Coffee

11:45–12:45    Paola Bruscoli and Luca Roversi

14 May 2014 afternoon – Room EB 0.15

14:15–15:15    Alessio Guglielmi

15:15    Coffee

15:30–16:15    Willem Heijltjes

16:15    Coffee and informal discussions

People

Location

You might need a campus map and instructions on how to get to the University of Bath.

Organisers

Paola Bruscoli and Alessio Guglielmi. The meeting is part of this project.

7.5.2014    Alessio Guglielmi    email