WST'2004 Exhibition/Competition

Deadline for submission of final version: Monday, May 24th.

• Rules of the competition, also in PDF
• The format of input files, also in PDF
• The results :
  • TRS results
  • SRS results
  • LP results
• Slides of the presentation reporting the results.
• The Termination Problem Data Base. You may also access to the 2003 version.