All public logs

From Termination-Portal.org

Combined display of all available logs of Termination-Portal.org. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 08:16, 11 April 2025 Ffrohn talk contribs created page Termination Competition 2025 technical details (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 Ffrohn talk contribs created page Termination Competition 2025 (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:37, 6 May 2024 User account JCKassing talk contribs was created by Ffrohn talk contribs
• 15:20, 6 May 2024 User account Kassing talk contribs was created by Ffrohn talk contribs and password was sent by email
• 10:08, 16 April 2024 Ffrohn talk contribs created page C Complexity (Created page with "We consider the C-fragment from the category Termination of C Programs, but in contrast to the termination category, the starting point should be stated explici...")
• 13:35, 16 January 2024 Ffrohn talk contribs created page Termination Competition 2024 (Created page with "The Termination and Complexity Competition (termCOMP) 2024 will be affiliated with IJCAR 2023. The competition will be run on the [http://www.starexec.org/ Star...")
• 18:27, 20 December 2020 Ffrohn talk contribs created page News:Termination Competition 2021 (Created page with "{{News |text=The Termination Competition 2021 will be affiliated with CADE. |date=December, 2020 }}")
• 18:20, 20 December 2020 Ffrohn talk contribs created page Termination Competition 2021 (Created page with "In 2021, the Termination and Complexity Competition will be affiliated with [http://www.cs.cmu.edu/~mheule/CADE28/ CADE]. The competition will be run on the [http://www.stare...")
• 08:58, 14 October 2018 Ffrohn talk contribs changed group membership for Giesl from bureaucrat and steering to bureaucrat, steering and administrator