Job done! I'm updating this page for the history books. In progress!
Date: 8 - 9th July 2011
Location: The Old Hall Hotel, Buxton Derbyshire SK17 6BD
Nearest Train Station: Buxton [0.3 mile walk]
| Time | Speaker | Title |
|---|---|---|
| 09.30 - 10.00 | 10.00 - 10.30 | 10.30 - 11.00 | 11.00 - 11.30 | 11.30 - 12.00 | 12.00 - 12.30 | 12.30 - 13.00 | 13.00 - 15.00 | 15.00 - 15.30 | 15.30 - 16.00 | From Setoids To Weak Omega-Categories |
16.00 - |
| Time | Speaker | Title |
|---|---|---|
| 08.00 - 10.00 | ||
| 10.00 - 10.30 | 10.30 - 11.00 | Probabilistic Programming Language |
11.00 - 11.30 | 11.30 - 12.00 | Efficient Linear Types For Human Beings |
12.00 - 12.30 | 12.30 - 13.00 | 13.00 - 15.00 | 15.00 - |