FoP Away Day 2007

The Country Cottage Hotel, Ruddington, 17 - 18 January, 2007

Meeting Record



The Foundations of Programming Away Day (FoPAD) 2007 took place at the Country Cottage Hotel

in Ruddington,
just South of Nottingham. Click here for a map.

Programme with Links to Slides

The original programme is available here.

Wednesday 17 January

09.00   Coffee/Tea

09.30--11.00: Session I
Chair: Wouter Swierstra
09.30 Welcome
Roland Backhouse and Henrik Nilsson
09.45 Algorithmic Problem Solving
Roland Backhouse
10.00 Distributivity and the GCD
Joao Ferreira
10.15 Structure Editing of Handwritten Mathematics
Alexandra Mendes
10.30 Universes for Generic Programming in Epigram
Peter Morris


11.30--12.30: Session II
Chair: Joao Ferreira
11.30 Compiler Correctness for Software Transactional Memory
Liyang Hu
12.00 Categorical Design Patterns
Ondrej Rypacek
12.15 Epigram Reasoning: Solving Problems with Commutative Monoids
Matthew Walton

12.30Lunch followed by Walk (weather permitting)

14.30--16.00: Session III
Chair: Mauro Jaskelioff
14.30 Isomorphisms for Context-Free Types
Thorsten Altenkirch
15.00 Compiler Correctness with Coq
Wouter Swierstra
15.15 The Quantum IO Monad
Alexander S Green
15.30 A Brief Introduction to Functional Reactive Programming and Yampa
Henrik Nilsson
15.45 Scalable Functional Reactive Programming
Neil Sculthorpe


16.30--17.30: Session IV
Chair: Alexandra Mendes
16.30 What I'm Doing and Why
Peter Hancock
16.45 Agent-Based Systems
Brian Logan
17.15 Logics for Agents
Natasha Alechina

17.30Short break

17.45--18.30: Session V: Discussions
Chair: Thorsten Altenkirch
· What would make you a happier FoP'er?

19.00FoP Away Day Dinner

Thursday 18 January

08.00   Breakfast (last order 9.15)

10.00--11.00: Session VI
Chair: Matthew Walton
10.00 Solving Sudoku
Graham Hutton
10.30 My Thesis and Other Animals
Jonathan Grattage
10.45 Effective Reasoning, Concurrency, and Security Protocols
Arjan Mooij


11.30--12.30: Session VII
Chair: Neil Sculthorpe
11.30 Recursion in Coalgebras
Mauro Jaskelioff
11.45 A Dependently Typed Core Language
Robert Reitmeier
12.00 Dependent Types, Pattern Matching, Elimination
Nicolas Oury
12.15 Coalgebraic Operational Semantics
Neil Ghani


Some photos from FoPAD 2007. Enjoy!


The Country Cottage Hotel

The Courtyard


Nice Rooms!


The Walk

The Alternative Walk

Photos contributed by Joao Ferreira, Liyang Hu, and Henrik Nilsson.

Last updated 2 February 2007.