User contributions
From Termination-Portal.org
Jump to navigationJump to search- 13:35, 16 January 2024 diff hist +6,108 N 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..."
- 12:51, 16 August 2023 diff hist +95 19th International Workshop on Termination →Friday 25 August
- 09:27, 9 June 2022 diff hist -75 Termination Competition →Organization
- 11:47, 30 May 2022 diff hist -6 Termination Competition 2022
- 18:28, 20 December 2020 diff hist +40 News:Termination Competition 2021 current
- 18:27, 20 December 2020 diff hist +132 N 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 diff hist +7,060 N 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..."
- 13:37, 16 August 2017 diff hist +171 Termination Competition
- 11:28, 4 August 2014 diff hist +184 Termination Competition 2014 Questionnaire →10. Where do you think we should focus our development efforts going forward?
- 15:08, 10 June 2014 diff hist +135 Termination Competition 2014 added link to starexec wiki
- 12:48, 5 March 2014 diff hist +19 Termination-Portal.org:About
- 09:49, 5 March 2014 diff hist +1 MediaWiki:Sidebar current
- 09:49, 5 March 2014 diff hist +47 MediaWiki:Sidebar
