• Kent on January 24, 2005 (TCS seminar)
  • Rennes on March 29, 2005 (68NQRT seminar)
  • Rennes on March 30, 2005 (Channel project seminar)
  • Edinburgh on April 6, 2005 (ESOP)
  • Essex on April 16, 2005 (Lab seminar)
  • City University on May 5, 2005 (Lab seminar)
  • Imperial College on September 7, 2005 (SAS)
  • Kent on September 26, 2005 (TCS seminar)
  • Spain on October 3, 2005 (ICLP doctoral symposium)