[Termination tools] Conclusions termination competition

[H. Zantema]

Conclusions of the discussion in Aachen at the Workshop on Termination 
about the termination competition.

* In principle the competition is held once a year. The next one will
  be in the spring of 2005. In 2005 there will be no Workshop on 
  Termination. It is tried to hold the 2005 competition not later than
  April 15, by which results of the competition may be reported at 
  RTA'05 in Nara, Japan.

* The 2005 competition will be organized by Claude Marche and Hans 
  Zantema.

* It is tried to extend TPDB; everyone is invited to submit new systems.
  Restructuring TPDB may be done. For instance, obvious duplicates may
  be removed. Renaming of systems will only be done if there are 
  strong reasons to do so.

* Michael Codish promised to participate in the 2005 competition.

* For all participating tools the executable should be freely available.

* There should be a fixed time limit for each termination problem. It
  is proposed to define it to be one minute. May be for some problems 
  that appeared to be hard in the present competition a longer time 
  limit can be established.
  Any how, these time limits should be established and announced several
  weeks before the competition.

* It is mandatory that not only `YES' or `NO' is generated as the output,
  but also a proof, or proof outline.



		Best regards, Hans Zantema.

+--------------------------------------+-----------------------------+
|                                      |                             |
|   Dr Hans Zantema                    |   Hoofdgebouw   kamer 6.73  |
|   Faculteit Wiskunde en Informatica  |   tel (040)2472749          |
|   Technische Universiteit Eindhoven  |   fax (040)2468508          |
|   Postbus 513     5600 MB Eindhoven  |   e-mail  H.Zantema at tue.nl  |
|   The Netherlands                    |   www.win.tue.nl/~hzantema  |
|                                      |                             |
+--------------------------------------+-----------------------------+