[Termtools] Competition dates
Zantema, H.
h.zantema at TUE.nl
Wed May 31 08:44:58 CEST 2006
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
More information about the Termtools
mailing list