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 Guglielmiemail