[Termtools] Termination Competition 2014 - demonstration categories RUNNING NOW

[Johannes Waldmann]

Dear all,

the Demonstration Categories (with just one participant each)
of the Termination Competition are running now. Results at

    http://nfa.imn.htwk-leipzig.de/termcomp/competition/23

The purpose of the demonstration is to show that there are solvers
that can handle those benchmarks types (so they can be used in
applications), and also to invite new solvers.

Best regards, Johannes.