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
The results
25/4/2005
Last modified: Mon Jan 21 17:22:49 CET 2008