Here are some things I did at Utrecht University. The list is unstructured and incomplete, but I need a place to store stuff so that I can find it back later in life…

• Presentation on Eleminators in Agda — October 2nd, 2008
  A talk by Mathijs Swint and myself for the course Depedently Typed Programming.

• Presentation on LINQ in .NET — May 15th, 2008
  A talk on Language Integrated Query in .NET for the Software Technology Colloquium.