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
The results
<#date>
Last modified: Thu Jul 20 17:22:11 CEST 2006