Recent changes
From Termination-Portal.org
Jump to navigationJump to searchTrack the most recent changes to the wiki on this page.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
14 April 2025
| 13:26 | 20th International Workshop on Termination diffhist +15 Thiemann talk contribs change HTWK Leipzig URL to more concrete WST 2025 website | ||||
11 April 2025
| N 08:16 | Termination Competition 2025 technical details diffhist +1,210 Ffrohn talk contribs Created page with "== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. During the competition, the following two co..." | ||||
9 April 2025
|
|
N 16:29 | Termination Competition 2025 3 changes history +5,508 [Ffrohn (3×)] | |||
|
|
16:29 (cur | prev) +109 Ffrohn talk contribs →Changes with respect to 2024 | ||||
|
|
15:41 (cur | prev) +74 Ffrohn talk contribs →Changes with respect to 2024 | ||||
| N |
|
15:38 (cur | prev) +5,325 Ffrohn talk contribs 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..." | |||
| 15:38 | Termination Portal diffhist +35 Ffrohn talk contribs →Recent News | ||||
