FP Lab Away Day 2012

Location: George Hotel, Hathersage.

Date: 24-25th May 2012

George Hotel

Preliminary schedule


Thursday, 24th May

Time Speaker Title
10.00 - 10.30
Arrival and coffee
10.30 - 11.00
Graham Hutton
Space, The Final Frontier
11.00 - 11.30
Peter Morris
I can't contain myself
11.30 - 12.00
Iain Lane
STM
12.00 - 13.30
Lunch
13.30 - 14.00
Bas van Gijzel
Having FUN with CATs and Arguments
14.00 - 14.30
Jason Reich
Is it a Supercompiler?
14.30 - 15.00
Joey Capper
Complete Normalisation in Type Theory
15.00 - 15.30
Venanzio Capretta
Contractions on containers
15.30 - 16.00
Coffee break
16.00 - 16.30
Henrik Nilsson
Functional Programming with Structured Graphs
16.30 - 17.00
Laurence Day
Abstract Expressionism
17.00 - 17.30
Colin Runciman
A small programming problem
19.00 - ??.??
Dinner


Friday, 25th May

Time Speaker Title
?.?? - 9.00
Breakfast
9.00 - 9.30
Nicolai Kraus
On Hedberg's theorem: Proving and Painting
9.30 - 10.00
Juan Carlos Saenz Carrasco
How to deal with regular algebras
10.00 - 10.30
Christian Sattler
Isomorphism of Finitary Inductive Types
10.30 - 11.00
Coffee
11.00 - 11.30
Thorsten Altenkirch
Towards an ω-groupoid model of Type Theory
11.30 - 12.00
Florent Balestrieri
Playing the piano
12.00 - 12.30
Colin Runciman
A small programming problem: solutions
12.30 - ??.??
Lunch followed by a walk hosted by Joey (Stanage edge)


Last update: 22nd May, 2012