FP Lab Away Day 2013

Location: Cressbrook Hall (Google Map)

Date: 13-14 June 2013

Pictures of the event taken by Henrik

Time	Speaker	Title
10.00 - 10.30	Arrival and coffee
10.30 - 11.00	Juan Carlos Saenz Carrasco	Towards a general algorithm for path-finding problems
11.00 - 11.30	Graham Hutton	Work It, Wrap It, Fix It, Fold It
11.30 - 12.00	Florent Balestrieri	Everything You Always Wanted to Know About GADTs* (*But Were Afraid to Ask)
12.00 - 13.30	Lunch
13.30 - 14.00	Bas van Gijzel	Towards a framework for the implementation and verification of translations between argumentation models
14.00 - 14.30	Jennifer L. P. Hackett	The Under Performing Unfold
14.30 - 15.00	Patrick Bahr	Deriving Modular Recursion Schemes from Tree Transducers
15.00 - 15.30	Thorsten Altenkirch	From High-School to University-Algebra
15.30 - 16.00	Coffee break
16.00 - 16.30	Nuo Li	An implementation of Syntactic weak Infinity Groupoids
16.30 - 17.00	Glyn Faulkner	A slow road to fast code: sequencing optimisation passes using Monte-Carlo tree search
17.00 - 17.30	Ambrus Kaposi	Semisimplicial types
19.00 -	Dinner

Time	Speaker	Title
08.00 - 09.00	Breakfast
09.00 - 09.30	Nicolai Kraus	Generalisations of Hedberg's Theorem
09.30 - 10.00	Paolo Capriotti	Inheritance and overloading in Agda
10.00 - 10.30	Christian Sattler	Equations Over Groups
10.30 - 11.00	Coffee break
11.00 - 11.30	Joey Capper	Structural Types for Systems of Equations
11.30 - 12.00	Henrik Nilsson	Definitely Not Flawed or Not Definitely Flawed?
12.00 - 12.30	Jose Calderon	Implicite Parallelism and Iterative Compilation
12.45 - 14.00	Lunch
14.00 -	Walk in the woods