| 09:00 - 10:00 | Invited speaker: Patricia Johann |
| 10:00 - 10:30 | Break |
| | Effects (Chair: Wouter Swierstra) |
| 10:30 - 10:55 | Effect Handlers in Scope — Nicolas Wu, Tom Schrijvers and Ralf Hinze |
| 10:55 - 11:20 | Embedding Effect Systems — Dominic Orchard and Tomas Petricek |
| 11:20 - 11:40 | Break |
| | Experience & Education (Chair: Lee Pike) |
| 11:40 - 12:05 | The Next 1100 Haskell Programmers — Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski and Dmitriy Traytel |
| 12:05 - 12:30 | Type-checking Polymorphic Units for Astrophysics Research in Haskell — Takayuki Muranushi and Richard A. Eisenberg |
| 12:30 - 14:00 | Lunch |
| | Verification (Chair: Lennart Augustsson) |
| 14:00 - 14:25 | LiquidHaskell: Refinement Types for the Real World — Niki Vazou, Eric L. Seidel and Ranjit Jhala |
| 14:25 - 14:50 | SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization — Lee Pike |
| 14:50 - 15:10 | Break |
| | Parallelism & Concurrency (Chair: Simon Marlow) |
| 15:10 - 15:35 | The HdpH DSLs for Scalable Reliable Computation — Patrick Maier, Robert Stewart and Phil Trinder |
| 15:35 - 16:00 | Writing NetBSD Sound Drivers in Haskell — Kiwamu Okabe and Takayuki Muranushi |
| 16:00 - 16:30 | Break |
| | Web development (Chair: Geoffrey Mainland) |
| 16:30 - 16:55 | A seamless, client-centric programming model for type safe web applications — Anton Ekblad and Koen Claessen |
| 16:55 - 17:15 | Making Web Applications -XSafe — Amit Levy, David Terei, Deian Stefan and David Mazieres |
| 17:15 - 17:30 | Building Secure Systems with LIO — Deian Stefan and Alejandro Russo |
| 09:00 - 10:00 | Invited speaker: Anil Madhavapeddy — Unikernels: Functional Operating System Design |
| 10:00 - 10:30 | Break |
| | Types (Chair: José Pedro Magalhães) |
| 10:30 - 10:55 | Promoting Functions to Type Families in Haskell — Richard A. Eisenberg and Jan Stolarek |
| 10:55 - 11:20 | A Simple Semantics for Haskell Overloading — J. Garrett Morris |
| 11:20 - 11:40 | Break |
| | (Chair: Koen Claessen) |
| 11:40 - 12:30 | PC Chair report & Future of Haskell Discussion |
| 12:30 - 14:00 | Lunch |
| | Parsing (Chair: Josef Svenningsson) |
| 14:00 - 14:25 | Foreign Inline Code — Manuel Chakravarty |
| 14:25 - 14:50 | Indentation-Sensitive Parsing for Parsec — Michael D. Adams and Ömer
Sinan Ağacan |
| 14:50 - 15:10 | Break |
| | Parsing (Chair: Wouter Swierstra) |
| 15:10 - 15:35 | Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection — Atze van der Ploeg and Oleg Kiselyov |
| 15:35 - 16:00 | Closure |
