[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