[Termtools] Competition dates

[Zantema, H.]

Dear colleagues,

For several reasons some dates for the termination competition will be changed:

deadline for registration and submitting running versions of the
tools: June 5

deadline for submitting termination problems for the secret list: June 8

deadline for submitting the final versions of the tools: June 8

competition will start on : June 9

            Best regards, Claude Marché and Hans Zantema.

_________________________________________________________
Dr Hans Zantema            
Technische Universiteit Eindhoven, Department of Computer Science 
P.O. Box 513, 5600 MB Eindhoven, The Netherlands 
e-mail: H.Zantema at tue.nl, homepage: www.win.tue.nl/~hzantema
office: Hoofdgebouw room 6.73, tel: (040)2472749
 


_______________________________________________
Termtools mailing list
Termtools at lists.lri.fr
http://lists.lri.fr/mailman/listinfo/termtools