• Kent on February 6, 2006 (TCS seminar)
  • IT University of Copenhagen, Denmark on June 1, 2006 (COPLAS seminar)
  • Widening with Landmarks at University of Roskilde on June 2, 2006 (slides from APLAS'06 talk by Axel Simon)
  • Detecting Determinacy in Seattle on August 18, 2006 (ICLP session on program analysis)
  • Collapsing Closures in Seattle on August 18, 2006 (ICLP session on program analysis)
  • On Modular-Reduction Vulnerabilities in Nantes on September 25, 2006 at CSTVA
  • On Modular-Reduction Vulnerabilities in CLIP Lab, UPM Madrid on October 24, 2006