The Foundations of Programming Away Day (FoPAD) 2007 took place at the Country Cottage Hotel
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.00 | Coffee/Tea | |
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.30 | Lunch 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.00 | Coffee/Tea | |
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.30 | Short break | |
17.45--18.30: Session V: Discussions | ||
Chair: Thorsten Altenkirch | ||
· What would make you a happier FoP'er? | ||
19.00 | FoP Away Day Dinner |
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.00 | Coffee/Tea | |
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!
Photos contributed by Joao Ferreira, Liyang Hu, and Henrik Nilsson.