Termination Competition'2007

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
• Extended deadline for submitting the final versions of the tools: June 4th at 8:00 Universal Time
• Extended deadline for submitting termination problems for the secret list: June 4th at 8:00 Universal Time
• Competition starts on : June 4th

Resources

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

The results

• TRS sub-categories:
  • Standard
  • Certifying
  • Context-sensitive strategy
  • Not run this year: "Relative termination", "Modulo theory", "Innermost strategy", "Conditional" and "Outermost strategy"
• SRS sub-categories
  • standard sub-category
  • relative sub-category
• LP category
• FP category