[Termtools] Termination Competition 2018 - starts today 12:30 UTC

Johannes Waldmann johannes.waldmann at htwk-leipzig.de
Fri Jul 13 11:17:16 CEST 2018


(This is a preliminary announcement. I am posting on behalf of Akihisa.)

Competition will start at 12:30 UTC today (Friday July 13).

There will we a live screen somewhere at the conference.

- Johannes.


More information about the Termtools mailing list