WST'2004
Exhibition/Competition
Deadline for registration and submission of a preliminary version: Thursday, May 12th.
Deadline for submission of final version: Monday, May 24th.
Rules of the competition
, also in
PDF
The
format of input files
, also in
PDF
The results :
TRS results
SRS results
LP results
Slides
of the presentation reporting the results.
The
Termination Problem Data Base
. You may also access to the
2003 version
.
20/12/2004 Last modified: Mon Jan 21 17:11:24 CET 2008