New pages
From Termination-Portal.org
Jump to navigationJump to search- 08:16, 11 April 2025 Termination Competition 2025 technical details (hist) [1,210 bytes] 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...")
- 15:38, 9 April 2025 Termination Competition 2025 (hist) [5,508 bytes] 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...")
