Just returned from a trip to Copenhagen to visit Joergen Villadsen at DTU. Also met Carsten Schuermann, Sebastian Moedersheim, Burkhart Wolff and many PhD students.
The atmosphere was very friendly, and DTU is very impressive (in size terms alone!).
My talk was an overview of Netsem and SibylFS. The title is "Netsem, Ott, Lem, SibylFS and Verified Parsing: Specification and Validation at Scale". The slides are available here.