[Termtools] Termination Competition 2017 - starting NOW

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Tue Sep 5 13:01:21 CEST 2017

Previous message: [Termtools] Termcomp 2017 will start tomorrow, September 5, 11:00 UTC
Next message: [Termtools] Termination Competition 2017 - finished
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear colleagues,

Termination Competition 2017 is now running on starexec.

Live stream: https://termcomp.imn.htwk-leipzig.de/competitions/65

- Johannes

Previous message: [Termtools] Termcomp 2017 will start tomorrow, September 5, 11:00 UTC
Next message: [Termtools] Termination Competition 2017 - finished
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Termtools mailing list