[Termtools] submission deadline approaching - note: syntax for updates
Johannes Waldmann
johannes.waldmann at htwk-leipzig.de
Thu Jul 30 05:10:11 CEST 2015
Dear all,
You can still send updates (0:00 AOE = 14:00 CEST today)
The process is still the same (send email to me)
but I ask you to use a specific syntax:
At the top of the registration page
http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015
you will find links for registration information like
http://nfa.imn.htwk-leipzig.de/termcomp-devel/participant/Y2015/matchbox
If you want to update, send me your solver/config pairs
in exactly this shape. This will make it easier for me,
especially if you are running in several categories.
- J.
More information about the Termtools
mailing list