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
The results
<#date>
Last modified: Fri Jun 8 14:17:50 CEST 2007