Workshop on Termination and Type Theory

• It was held at the Hjortviken conference hotel, near Göteborg, on 14-15 November 2002.
  
• It attracted more people than expected. For example, Peter Aczel and Per Martin-Löf were there.
• It was a rather informal workshop, without proceedings. The program, and abstracts of some of the talks are available from the workshop's web page.