[Termtools] input sollicited

Aart Middeldorp Aart.Middeldorp at uibk.ac.at
Mon Dec 15 16:21:48 CET 2008


This Friday the host committee of the termination competition
has a meeting to discuss improvements and future development.
If you have suggestions, feel free to send them to

termcomp at informatik.uibk.ac.at

before Thursday.

Cheers,

Aart



More information about the Termtools mailing list