FoP Away Day 2007

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

Meeting Record

 

Venue

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.00Coffee/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.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.00Coffee/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.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.00Coffee/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


Pictures

Some photos from FoPAD 2007. Enjoy!

People









The Country Cottage Hotel


The Courtyard



Features


Nice Rooms!

Ruddington



The Walk




The Alternative Walk


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


Last updated 2 February 2007.