This page summarizes events I've been to or will go to. Submit! And PLPV and TLDI. And lots of tapas. First Coq workshop too ! Soon to be called "Interactive Theorem Proving"... I talked about type classes there. Dependently Typed Programming in Epigram's hometown was a great reunion. I talked about Dependent Finger Trees there. A small TYPES workshop on effects and type theory. HW, MLW and PLPV were great too ! I've given a talk about the Finger Trees paper there. The theme was "Formal Logical Methods for System Security and Correctness"... and we lost the game. I've given a talk on Finger Trees there. A small TYPES workshop on Curry-Howard Implementation Techniques and Connecting Humans and Type-checkers. A french summer school for young researchers in programming. I've given a talk on Subset Coercions there.