Termination Competition 2025: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 09:0909:09, 8 September 2025 Ffrohn talk contribs 5,679 bytes −23 →Live Results

curprev 10:1110:11, 3 September 2025 Ffrohn talk contribs 5,702 bytes +15 No edit summary

curprev 10:0510:05, 5 August 2025 Ffrohn talk contribs 5,687 bytes +17 →Dates

curprev 13:3513:35, 24 July 2025 Ffrohn talk contribs 5,670 bytes −18 →Changes with respect to 2024
curprev 13:3513:35, 24 July 2025 Ffrohn talk contribs 5,688 bytes −3 →Changes with respect to 2024
curprev 13:3413:34, 24 July 2025 Ffrohn talk contribs 5,691 bytes −20 →Changes with respect to 2024

curprev 13:3113:31, 4 July 2025 Fuhs talk contribs 5,711 bytes +197 Dates for TermComp 2025, taken from https://lists.rwth-aachen.de/archives/list/termtools@lists.rwth-aachen.de/thread/FAA6ENEMMX5ANNGUOLXRKGCMFFJ7PV37/

curprev 11:5411:54, 2 June 2025 Ffrohn talk contribs 5,514 bytes +30 →Registration

curprev 07:2507:25, 5 May 2025 Ffrohn talk contribs 5,484 bytes −9 →Technical Details
curprev 07:2507:25, 5 May 2025 Ffrohn talk contribs 5,493 bytes −15 →Competition Procedure

curprev 16:2916:29, 9 April 2025 Ffrohn talk contribs 5,508 bytes +109 →Changes with respect to 2024
curprev 15:4115:41, 9 April 2025 Ffrohn talk contribs 5,399 bytes +74 →Changes with respect to 2024
curprev 15:3815:38, 9 April 2025 Ffrohn talk contribs 5,325 bytes +5,325 Created page with "The Termination and Complexity Competition (termCOMP) 2025 will be affiliated with [https://www.imn.htwk-leipzig.de/WST2025/ WST 2025]. The competition will be run on the RWT..."

8 September 2025

3 September 2025

5 August 2025

24 July 2025

4 July 2025

2 June 2025

5 May 2025

9 April 2025