Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Termination Competition'2006

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

<#date> Last modified: Thu Jul 20 17:22:11 CEST 2006