Location: Old Hall Hotel, Buxton
Date: 3-4 July 2014
Schedule
Thursday, 3rd July
| Time | Speaker | Title |
|---|---|---|
| 11.00 - 11.30 | Graham Hutton | Calculating Correct Compilers |
| 11.30 - 12.00 | Henrik Nilsson | Ebba: An Embedded DSL for Bayesian Inference |
| 12.00 - 13.30 | ||
| 13.30 - 14.00 | Paolo Capriotti | Mutual and Higher Inductive Types in Homotopy Type Theory |
| 14.00 - 14.30 | Gabe Dijkstra | Constructing 2-HITs |
| 15.00 - 15.30 | Nicolai Kraus | Omega-Constancy and Truncations |
| 15.00 - 15.30 | ||
| 15.30 - 16.00 | David McGillicuddy | An Investigation Into the Use of Haskell for Dynamic Programming |
| 16.00 - 16.30 | Florent Balestrieri | Attribute Grammars and Containers |
| 16.30 - 17.00 | Bas van Gijzel | A principled approach to the implementation of argumentation models |
| 17.00 - 17.30 | Laurence E. Day | Pick'n'Fix |
| 19.00 - | ||
Friday, 4th July
| Time | Speaker | Title |
|---|---|---|
| 09.00 - 09.30 | Nuo Li | Definable quotients in intensional type theory |
| 09.30 - 10.00 | Ambrus Kaposi | A syntax for cubical type theory |
| 10.00 - 10.30 | Thorsten Altenkirch | Definability and logical relations |
| 10.30 - 11.00 | ||
| 11.00 - 11.30 | Iván Pérez Dominguez | Programming interactivity in Functional Languages |
| 11.30 - 12.00 | Joey Capper | RSI: Reevaluating Standard Input |
| 12.30 - 14.00 | ||
| 14.00 - 17.00 | ||