-
Ursula Martin, University of Edinburgh and University of Oxford
-
Natarajan Shankar, SRI International
Programme:
| Jermy Avigad |
| Micheal Barany |
| Kevin Buzzard |
| Gilles Dowek |
| George Gonthier |
| Tom Hales |
| John Harrison |
| Mateja Jamnik |
| Cesary Kalysczyk |
| Micheal Kohlase |
| Katya Komendentskaya |
| Angeliki Koutsoukou-Argyraki |
| Benedikt Lowe |
| Ursula Martin |
| Larry Paulson |
| Alison Pease |
| Chris Sangwin |
| Natarajan Shankar |
| Fenner Tanswell |
| Stephen Watt |
Sponsors and Funders:
This event was funded by the Isaac Newton Institute