All public logs
From Termination-Portal.org
Jump to navigationJump to searchCombined 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).
- 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