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
WST'2004 Exhibition/Competition

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 result page
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 May 3 09:50:37 CEST 2004