Termination Competition'2006

Important dates

• deadline for submission of new publicly available termination problems for the data base: May 1
• deadline for registration and submitting running versions of the tools : May 21
• deadline for submitting the final versions of the tools: May 31
• deadline for submitting termination problems for the secret list: May 31
• competition will start on : June 5

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
• Results for the LP category
• Report on the results