Termination Competition'2005

Important dates

• deadline for submission of new publicly available termination problems for the data base: Friday, March 11
• deadline for registration and submitting running versions of the tools : Monday, March 21
• deadline for submitting the final versions of the tools: Thursday, April 7
• deadline for submitting termination problems for the secret list: Friday, April 8
• competition will start on Monday, April 11, 9:00 GMT

Resources

• Rules of the competition, also in PDF
• The format of input files, also in PDF
• The Termination Problem Data Base.

The results

• Results for the TRS category
• Results for the SRS category
• Slides of the presentation given at RTA'2005.