[Termtools] Termiation Competition 2017 - Demonstration Track - now running

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Wed Sep 6 13:02:02 CEST 2017

Previous message: [Termtools] Comparing TC 2017 to TC 2016 and earlier
Next message: [Termtools] TC 2017 - demonstration track finished, and a farewell
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear colleagues,

the demonstration track
(categories with only one participant)
is now running on starexec.

https://termcomp.imn.htwk-leipzig.de/competitions/67

- Johannes

Previous message: [Termtools] Comparing TC 2017 to TC 2016 and earlier
Next message: [Termtools] TC 2017 - demonstration track finished, and a farewell
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list