= Past Meetings, 2011 =

=== 19th May === 
* Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes! 
* Ben Lippmeier, Hacking Data Parallel Haskell 
* Tom Sewell, Theoretical Theorem Proving (longer talk).