September 2017 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Mon Sep 4 16:43:55 CEST 2017
Ending: Thu Sep 7 10:43:17 CEST 2017
Messages: 12

• [Termtools] Termcomp 2017 will start tomorrow, September 5, 11:00 UTC   Johannes Waldmann
• [Termtools] Termination Competition 2017 - starting NOW   Johannes Waldmann
• [Termtools] Termination Competition 2017 - finished   Johannes Waldmann
• [Termtools] Termination Competition 2017 - finished   Salvador Lucas
• [Termtools] Termination Competition 2017 - finished   Yamada, Akihisa
• [Termtools] Termination Competition 2017 - finished   Florian Frohn
• [Termtools] Termination Competition 2017 - finished   Johannes Waldmann
• [Termtools] Comparing TC 2017 to TC 2016 and earlier   Johannes Waldmann
• [Termtools] Termiation Competition 2017 - Demonstration Track - now running   Johannes Waldmann
• [Termtools] Termination Competition 2017 - finished   Georg Moser
• [Termtools] TC 2017 - demonstration track finished, and a farewell   Johannes Waldmann
• [Termtools] Termination Competition 2017 - finished   Jera Hensel

Last message date: Thu Sep 7 10:43:17 CEST 2017
Archived on: Thu Sep 7 10:43:29 CEST 2017

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...