| | 8 | === 102: 28th March === |
| | 9 | |
| | 10 | * Tim !McGilchrist: Either Error Success - why data types are cool. |
| | 11 | * Erik de Castro Lopo: Cabal, Stack, Mafia and Jenga. |
| | 12 | * Jed Wesley-Smith: Diversity in FP. |
| | 13 | |
| | 14 | === 103: 26th April === |
| | 15 | |
| | 16 | * Alexy Raga: Haskell IDE |
| | 17 | * Rohan Jacob Rao: Indexed types. |
| | 18 | |
| | 19 | === 104: 23rd May === |
| | 20 | |
| | 21 | * Amos Robinson: How to win your first Coq Fight. |
| | 22 | * Matt Brecknell: Propositions are programs! |
| | 23 | |
| | 24 | === 105: 27th June === |
| | 25 | * Coq Fight Night |
| | 26 | |
| | 27 | === 106: 25th July === |
| | 28 | |
| | 29 | * Erik de Castro Lopo: Haskell at Scale |
| | 30 | * Tim !McGilchrist: Code reuse through polymorphic variants? |
