| 30 | | == 28th August == |
| 31 | | * Julian Gamble: Simulation testing with Datomic |
| 32 | | * Tom Sewell: Things I've learned about SAT |
| 33 | | * Shane Stephens: Generating a Functional API for Web Animations |
| 34 | | |
| 35 | | == 18th September (moved forward 1 week) == |
| 36 | | * George Roldugin: Functional Computer Music |
| 37 | | * Maun Suang Boey: Shen: It's Lisp, Jim, but not as we know it. |
| 38 | | |
| 39 | | == 16th October (moved forward 1 week) == |
| 40 | | * Erik de Castro Lopo: ICFP Retrospective |
| 41 | | * Ben Lippmeier: Data Flow Fusion with Series Expressions |
| 42 | | * Liam O'Connor: CDSL: A Restricted Functional Language for Verification of File Systems |
| 43 | | |
