User contributions
From Termination-Portal.org
Jump to navigationJump to search- 17:47, 31 January 2024 diff hist +221 N 20th International Workshop on Termination Created page with "The 20th Intl. Workshop on Termination will take place at [https://informatik.htwk-leipzig.de/ HTWK Leipzig, Germany], in summer 2025. [https://www.imn.htwk-leipzig.de/~waldma..." current
- 17:39, 31 January 2024 diff hist +4 WST current
- 09:36, 7 December 2023 diff hist +77 WST add WST 2025 plan
- 15:02, 5 March 2019 diff hist +87 Termination Competition 2019 →StarExec Information
- 17:54, 26 July 2018 diff hist -3 News:Termination Competition 2019 current
- 17:54, 26 July 2018 diff hist +604 N News:Workshop on Termination 2020 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..." current
- 17:52, 26 July 2018 diff hist +563 N News:Termination Competition 2019 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..."
- 17:39, 26 July 2018 diff hist -4 Termination Competition 2019
- 17:39, 26 July 2018 diff hist +299 N Termination Competition 2019 Created page with "We intend to be part of [https://tacas.info/toolympics.php Toolympics], with results presented during TACAS'19, April 16-17, Prague. We intend to run on Starexec, but the act..."
- 17:36, 26 July 2018 diff hist -1 Termination Competition →Upcoming Competitions
- 17:36, 26 July 2018 diff hist +516 Termination Competition →Annual International Termination Competition
- 17:15, 26 July 2018 diff hist +57 Termination Competition
- 17:12, 26 July 2018 diff hist +45 WST
- 17:11, 26 July 2018 diff hist +144 WST
- 12:44, 16 July 2018 diff hist -1 TPDB →Sources
- 10:15, 16 July 2018 diff hist +221 TPDB →Tools
- 18:14, 15 July 2018 diff hist +187 TPDB →Sources
- 18:06, 15 July 2018 diff hist +39 TPDB →Data
- 18:05, 15 July 2018 diff hist +41 TPDB →Sources
- 18:04, 15 July 2018 diff hist +305 TPDB →Sources
- 13:15, 15 July 2018 diff hist +5 WST
- 13:13, 15 July 2018 diff hist +36 WST
- 13:08, 15 July 2018 diff hist +47 WST
- 19:35, 6 September 2017 diff hist +1 Termination Competition →History of Termination Competitions
- 19:35, 6 September 2017 diff hist +80 Termination Competition →History of Termination Competitions
- 19:32, 6 September 2017 diff hist +79 Termination Competition →History of Termination Competitions
- 19:29, 6 September 2017 diff hist -11 Termination Competition 2017
- 19:28, 6 September 2017 diff hist +86 Termination Competition 2017 →Dates
- 00:22, 6 September 2017 diff hist +3 Termination Competition 2017 →Dates
- 14:30, 5 September 2017 diff hist +15 Termination Competition 2017 →Dates
- 13:04, 16 August 2017 diff hist +2 Termination Competition 2016 Data current
- 09:42, 16 August 2017 diff hist -1 Termination Competition 2017 →StarExec Information
- 22:14, 26 July 2017 diff hist +77 Termination Competition 2017 Registration →Solvers current
- 22:04, 26 July 2017 diff hist +7 Termination Competition 2017 Registration →Solvers
- 09:55, 1 June 2017 diff hist +392 Termination Competition →Competition Categories
- 15:42, 10 April 2017 diff hist +4 Termination Competition 2016 Data
- 22:04, 8 March 2017 diff hist +78 Termination Competition →History of Termination Competitions
- 22:02, 8 March 2017 diff hist -38 Termination Competition
- 22:00, 8 March 2017 diff hist +3 WST
- 11:29, 7 September 2016 diff hist -1 Termination Competition 2016 Data
- 11:28, 7 September 2016 diff hist +90 Termination Competition 2016 Data →Comments
- 07:43, 6 September 2016 diff hist +120 Termination Competition 2016 Data
- 07:35, 6 September 2016 diff hist +25 Termination Competition 2016 Data →Timeline
- 07:17, 6 September 2016 diff hist +212 Termination Competition 2016 Data
- 22:47, 5 September 2016 diff hist +195 Termination Competition 2016 Data
- 21:18, 5 September 2016 diff hist +1 Termination Competition 2016 Data
- 21:17, 5 September 2016 diff hist +70 Termination Competition 2016 Data
- 21:15, 5 September 2016 diff hist +101 Termination Competition 2016 Data →Timeline
- 21:12, 5 September 2016 diff hist +219 N Termination Competition 2016 Data Created page with "== Timeline == (all times are CEST) * around 09:00 start Termination and Complexity Analysis of Programs * around 11:00 start Termination and Complexity Analysis of Rewritin..."
- 21:06, 5 September 2016 diff hist 0 Termination and Complexity Competition 2016 →Dates current
- 21:06, 5 September 2016 diff hist +61 Termination and Complexity Competition 2016 →Dates
- 01:31, 5 September 2016 diff hist -301 Termination Competition 2016 Registration →Test Runs current
- 21:51, 1 September 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:27, 31 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 16:35, 30 August 2016 diff hist -122 Termination Competition 2016 Registration →Test Runs
- 11:46, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 11:03, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:54, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:51, 29 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 10:47, 29 August 2016 diff hist +29 Termination Competition 2016 Registration →Test Runs
- 10:44, 29 August 2016 diff hist -28 Termination Competition 2016 Registration
- 23:01, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:45, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 12:35, 28 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 16:32, 26 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:43, 25 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 20:31, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:30, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:24, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 20:12, 23 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 20:06, 23 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 19:41, 23 August 2016 diff hist +1 Termination Competition 2016 Registration →Test Runs
- 00:39, 20 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 00:37, 20 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 19:07, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:44, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 14:42, 18 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 10:35, 17 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 10:33, 17 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 06:54, 17 August 2016 diff hist +21 Termination Competition 2016 Registration →Test Runs
- 15:16, 16 August 2016 diff hist +30 Termination Competition 2016 Registration →Test Runs
- 15:09, 16 August 2016 diff hist +30 Termination Competition 2016 Registration →Test Runs
- 11:18, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:16, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:03, 15 August 2016 diff hist 0 Termination Competition 2016 Registration →Test Runs
- 11:01, 15 August 2016 diff hist +89 Termination Competition 2016 Registration →Test Runs
- 09:06, 15 August 2016 diff hist +10 Termination Competition 2016 Registration →Benchmarks
- 15:29, 14 August 2016 diff hist +44 Termination Competition 2016 Registration →Benchmarks
- 15:26, 14 August 2016 diff hist -59 Termination Competition 2016 Registration →Benchmarks
- 09:40, 14 August 2016 diff hist +68 Termination Competition 2016 Registration →Benchmarks
- 10:14, 10 August 2016 diff hist +39 Termination Competition 2016 Registration →Test Runs
- 10:07, 10 August 2016 diff hist +320 Termination Competition 2016 Registration
- 11:19, 3 August 2016 diff hist +9 Termination and Complexity Competition 2016 →StarExec Information
- 11:19, 3 August 2016 diff hist +98 Termination and Complexity Competition 2016 →StarExec Information
- 11:50, 2 August 2016 diff hist +70 Termination Competition 2016 Registration →Benchmarks
- 12:50, 1 August 2016 diff hist -197 Termination Competition 2016 Registration →Solvers
- 12:48, 1 August 2016 diff hist +195 Termination Competition 2016 Registration →Solvers
- 12:42, 1 August 2016 diff hist +51 Termination Competition 2016 Registration →Benchmarks
- 12:42, 1 August 2016 diff hist +56 Termination Competition 2016 Registration →Benchmarks
- 12:08, 1 August 2016 diff hist +55 Termination and Complexity Competition 2016 →Dates
- 11:58, 1 August 2016 diff hist +75 Termination and Complexity Competition 2016 →StarExec Information
- 11:57, 1 August 2016 diff hist +188 Termination and Complexity Competition 2016 →StarExec Wiki
- 10:33, 1 August 2016 diff hist +25 Termination Competition 2016 Registration →Benchmarks
- 11:52, 30 July 2016 diff hist +55 Termination Competition 2016 Registration
- 11:43, 30 July 2016 diff hist -5 Termination Competition 2016 Registration
- 11:42, 30 July 2016 diff hist +350 Termination Competition 2016 Registration
- 11:32, 30 July 2016 diff hist +160 Termination Competition 2016 Registration
- 11:26, 30 July 2016 diff hist +516 N Termination Competition 2016 Registration Created page with "For registering your solver, I need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in. [http://nfa.imn.htwk-le..."
- 11:45, 22 July 2016 diff hist +1 Termination Competition →Competition Categories
- 11:43, 22 July 2016 diff hist +27 Termination Competition →Upcoming Competitions
- 11:34, 20 July 2016 diff hist +24 Termination and Complexity Competition 2016 →Registration
- 13:45, 11 October 2015 diff hist +10 Termination Competition 2014 →Current News current
- 11:55, 6 August 2015 diff hist +103 Termination Competition 2015 →News current
- 10:42, 6 August 2015 diff hist 0 Termination Competition 2015 →News
- 10:42, 6 August 2015 diff hist +101 Termination Competition 2015 →News
- 10:41, 6 August 2015 diff hist +148 Termination Competition 2015 →News
- 19:21, 5 August 2015 diff hist +37 Termination Competition 2015 →News
- 19:13, 5 August 2015 diff hist +41 Termination Competition 2015 →News
- 13:11, 5 August 2015 diff hist +144 Termination Competition 2015 →News
- 06:41, 5 August 2015 diff hist +120 Termination Competition 2015 →News
- 06:35, 5 August 2015 diff hist +189 Termination Competition 2015 →News
- 06:14, 5 August 2015 diff hist +98 Termination Competition 2015 →News
- 06:11, 5 August 2015 diff hist -1 Termination Competition 2015 →News
- 06:08, 5 August 2015 diff hist +93 Termination Competition 2015 →News
- 06:00, 5 August 2015 diff hist +121 Termination Competition 2015 →News
- 05:40, 5 August 2015 diff hist +35 Termination Competition 2015 →News
- 05:39, 5 August 2015 diff hist +27 Termination Competition 2015 →News
- 05:38, 5 August 2015 diff hist +491 Termination Competition 2015
- 19:19, 3 August 2015 diff hist +164 Termination Competition →Annual International Termination Competition
- 13:20, 30 July 2015 diff hist +34 Termination Competition 2015 Bugs current
- 13:20, 30 July 2015 diff hist +62 Termination Competition 2015 Bugs
- 13:10, 30 July 2015 diff hist +247 Termination Competition 2015 Bugs
- 11:11, 29 July 2015 diff hist +152 Termination Competition 2015 Bugs
- 08:49, 29 July 2015 diff hist +69 Termination Competition 2015 Bugs
- 08:48, 29 July 2015 diff hist +49 Termination Competition 2015 Bugs
- 08:47, 29 July 2015 diff hist +222 N Termination Competition 2015 Bugs Created page with " * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683 * http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652 * http://nfa.imn.htwk-leipzig..."
- 08:47, 29 July 2015 diff hist -193 Termination Competition 2015 Registration →General current
- 08:41, 29 July 2015 diff hist +144 Termination Competition 2015 Registration →General
- 08:39, 29 July 2015 diff hist +132 Termination Competition 2015 Registration →General
- 18:51, 28 July 2015 diff hist +64 Termination Competition 2015 TODO →done current
- 13:41, 28 July 2015 diff hist +104 Termination Competition 2015 TODO →accepted
- 13:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →done
- 13:40, 28 July 2015 diff hist 0 Termination Competition 2015 TODO →accepted
- 13:39, 28 July 2015 diff hist +69 Termination Competition 2015 TODO →accepted
- 13:37, 28 July 2015 diff hist +59 Termination Competition 2015 TODO →accepted
- 13:36, 28 July 2015 diff hist -93 Termination Competition 2015 TODO
- 13:36, 28 July 2015 diff hist -41 Termination Competition 2015 TODO →suggested
- 13:36, 28 July 2015 diff hist +194 Termination Competition 2015 TODO
- 13:34, 28 July 2015 diff hist +62 Termination Competition 2015 TODO
- 19:27, 22 July 2015 diff hist +74 Termination Competition 2015 Registration →Benchmark submissions
- 21:10, 14 July 2015 diff hist 0 Termination Competition 2015 →Dates
- 18:09, 13 July 2015 diff hist +146 Termination Competition 2015 TODO →suggested
- 15:13, 12 July 2015 diff hist -1 Termination Competition 2015 TODO
- 15:13, 12 July 2015 diff hist +211 Termination Competition 2015 TODO →accepted
- 15:11, 12 July 2015 diff hist +572 N Termination Competition 2015 TODO Created page with "TODO list for the competition organizer. == accepted == * install this year's TPDB on starexec * implement complexity scoring (lower and upper bounds) * fix stability and p..."
- 15:01, 12 July 2015 diff hist +55 Termination Competition 2015
- 17:33, 7 July 2015 diff hist +36 Termtools
- 10:54, 6 July 2015 diff hist +43 Termination Competition 2015 Registration →Benchmark submissions
- 10:52, 6 July 2015 diff hist +32 Termination Competition 2015 Registration →Benchmark submissions
- 09:22, 6 July 2015 diff hist +97 Termination Competition 2015 Registration →Benchmark submissions
- 09:03, 6 July 2015 diff hist +60 Termination Competition 2015 Registration →General
- 08:30, 6 July 2015 diff hist -737 Termination Competition 2015 Registration →Registered Solvers
- 15:13, 1 July 2015 diff hist +8 Termination Competition 2015 Registration →Registered Solvers
- 15:05, 1 July 2015 diff hist +209 Termination Competition 2015 Registration →Registered Solvers
- 11:49, 1 July 2015 diff hist +18 Termination Competition 2015 Registration →Registered Solvers
- 11:45, 1 July 2015 diff hist +143 Termination Competition 2015 Registration →Benchmark submissions
- 11:43, 1 July 2015 diff hist 0 Termination Competition 2015 Registration →Registered Solvers
- 11:43, 1 July 2015 diff hist +89 Termination Competition 2015 Registration →Registered Solvers
- 11:23, 1 July 2015 diff hist +131 Termination Competition 2015 Registration →General
- 11:09, 1 July 2015 diff hist +993 Termination Competition 2015 Registration
- 07:08, 1 July 2015 diff hist +63 Termination Competition 2015 Registration
- 07:05, 1 July 2015 diff hist +239 N Termination Competition 2015 Registration Created page with "Registration is like it was last year. In short, * get a starexec account, upload your solver * send email to J. Waldmann with: ** categories that you want to enter, ** an..."
- 16:40, 22 June 2015 diff hist +2 Termination Competition 2015
- 16:40, 22 June 2015 diff hist +87 Termination Competition 2015
- 11:18, 2 June 2015 diff hist +182 Termination Competition 2015 →Changes with respect to 2014
- 11:15, 2 June 2015 diff hist +80 Termination Competition 2015
- 11:13, 2 June 2015 diff hist -1 Termination Competition 2015 →Changes with respect to 2014
- 11:12, 2 June 2015 diff hist +140 Termination Competition 2015
- 11:03, 2 June 2015 diff hist +13 Termination Competition 2015 →Technical Detail
- 11:02, 2 June 2015 diff hist -46 Termination Competition 2015 →Committees
- 18:39, 29 May 2015 diff hist +84 WST
- 10:49, 5 March 2015 diff hist +599 N News:Termination Competition 2015 Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h..." current
- 12:14, 21 January 2015 diff hist +8 Termination Competition 2015 →Dates (Preliminary)
- 12:12, 21 January 2015 diff hist -135 Termination Competition 2015 →Competition Procedure
- 12:09, 21 January 2015 diff hist +2 Termination Competition 2015 →Dates (Preliminary)
- 15:01, 20 January 2015 diff hist +5,438 N Termination Competition 2015 Created page with "In 2015, the Termination Competition will be affiliated with [http://conference.mi.fu-berlin.de/cade-25/ CADE-25]. == Dates (Preliminary) == * registration of tools: July 1 ..."
- 12:17, 7 August 2014 diff hist +41 Termination Competition 2014 Questionnaire current
- 19:45, 6 August 2014 diff hist +1,474 Termination Competition 2014 Questionnaire →6. What were the negative aspects?
- 08:42, 29 July 2014 diff hist -2 Termination Competition 2014 →Current News
- 08:41, 29 July 2014 diff hist 0 m Termination Competition 2014 Questionnaire J.waldmann moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire
- 08:41, 29 July 2014 diff hist +56 N Termination Competition 2014 Questionannaire J.waldmann moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire current
- 08:33, 29 July 2014 diff hist +1,971 N Termination Competition 2014 Questionnaire Created page with "The following questions regarding Star-Exec are being asked by Aaron Stump and Cesare Tinelli, to all Summer 2014 competition organizers. I (J.W.) will answer, by August 5, an..."
- 08:11, 29 July 2014 diff hist +50 Termination Competition 2014 →Current News
- 16:27, 21 July 2014 diff hist -18 Termination Competition 2014 →Current News
- 08:04, 21 July 2014 diff hist +102 Termination Competition 2014 →Current News
- 14:14, 20 July 2014 diff hist +50 Termination Competition 2014 →Current News
- 14:43, 19 July 2014 diff hist -6 Termination Competition 2014 Registration →Participants current
- 14:14, 19 July 2014 diff hist -2 Termination Competition 2014 →Current News
- 14:14, 19 July 2014 diff hist +148 Termination Competition 2014
- 11:02, 19 July 2014 diff hist -12 Termination Competition 2014 →Dates (tentative)
- 15:31, 14 July 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 11:43, 29 June 2014 diff hist -69 Termination Competition 2014 Registration →Procedure
- 11:39, 23 June 2014 diff hist +268 Termination Competition 2014 Registration →Participants
- 08:25, 17 June 2014 diff hist +6 Termination Competition 2014 Registration →Participants
- 09:21, 16 June 2014 diff hist +156 Termination Competition 2014 Registration →new benchmarks
- 08:40, 16 June 2014 diff hist +62 Termination Competition 2014 Registration →new benchmarks
- 08:39, 16 June 2014 diff hist +16 Termination Competition 2014 Registration
- 07:40, 16 June 2014 diff hist +20 Termination Competition 2014 Registration →Participants
- 15:37, 15 June 2014 diff hist +48 Termination Competition 2014 Registration →Participants
- 14:31, 14 June 2014 diff hist 0 Termination Competition 2014 Registration →Participants
- 14:30, 14 June 2014 diff hist +33 Termination Competition 2014 Registration →Participants
- 10:20, 14 June 2014 diff hist +229 Termination Competition 2014 Registration →Procedure
- 09:42, 14 June 2014 diff hist +59 Termination Competition 2014 Registration →Participants
- 16:18, 13 June 2014 diff hist +450 Termination Competition 2014 Registration →Participants
- 11:31, 13 June 2014 diff hist +12 Termination Competition 2014 Registration →Participants
- 19:41, 12 June 2014 diff hist +195 Termination Competition 2014 Registration →Note on Certified Categories
- 15:54, 12 June 2014 diff hist -4 Termination Competition 2014 Registration →Procedure
- 15:28, 12 June 2014 diff hist +166 Termination Competition 2014 Registration →Procedure
- 15:17, 12 June 2014 diff hist +350 Termination Competition 2014 Registration →Procedure
- 14:58, 12 June 2014 diff hist +188 Termination Competition 2014 →Competition Procedure
- 11:09, 12 June 2014 diff hist +127 Termination Competition 2014 Registration
- 11:05, 12 June 2014 diff hist -65 Termination Competition 2014 Registration
- 11:05, 12 June 2014 diff hist +59 Termination Competition 2014 Registration
- 11:03, 12 June 2014 diff hist +441 Termination Competition 2014 Registration
- 10:45, 12 June 2014 diff hist +9 Termination Competition 2014 Registration →Participants
- 10:44, 12 June 2014 diff hist +583 Termination Competition 2014 Registration
- 10:34, 12 June 2014 diff hist 0 Termination Competition 2014 →Registration (Detail)
- 10:33, 12 June 2014 diff hist 0 m Termination Competition 2014 Registration J.waldmann moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration
- 10:33, 12 June 2014 diff hist +55 N Termination Competition 2014 Participants J.waldmann moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration current
- 10:32, 12 June 2014 diff hist -4 Termination Competition 2014
- 10:22, 12 June 2014 diff hist +17 Termination Competition 2014 Registration
- 10:22, 12 June 2014 diff hist +18 Termination Competition 2014 Registration
- 10:21, 12 June 2014 diff hist +639 Termination Competition 2014 Registration
- 10:12, 12 June 2014 diff hist +445 Termination Competition 2014 Registration
- 10:01, 12 June 2014 diff hist +108 N Termination Competition 2014 Registration Created page with "(this page to be edited by the competition organizer) registrations, by category. last updated Thu June 12."
- 09:57, 12 June 2014 diff hist +78 Termination Competition 2014
- 07:01, 6 June 2014 diff hist +116 Termination Competition 2014 →Registration Info (tentative)
- 07:41, 5 June 2014 diff hist -46 Tools:Matchbox current
- 11:23, 4 June 2014 diff hist +269 Termination Competition 2014 →Registration Info (tentative)
- 17:43, 3 June 2014 diff hist +235 Termination Competition 2014 technical details current
- 15:49, 26 May 2014 diff hist +267 Termination Competition 2014 technical details
- 08:27, 20 May 2014 diff hist +29 Termination Competition →Annual International Termination Competition
- 19:17, 19 May 2014 diff hist +5 Termination Competition 2014 →Dates (tentative)
- 19:16, 19 May 2014 diff hist +1 Termination Competition 2014 →Registration info (tentative)
- 19:16, 19 May 2014 diff hist +48 Termination Competition 2014 →Technical Detail
- 18:53, 19 May 2014 diff hist +743 Termination Competition 2014
- 18:23, 19 May 2014 diff hist -66 Termination Competition 2014 →Technical Detail
- 15:54, 16 May 2014 diff hist +24 N Transition Systems Created page with "Category: Categories"
- 15:06, 16 May 2014 diff hist +25 Termination Competition →Competition Categories
- 11:00, 16 May 2014 diff hist -1 Termination Competition 2014 →Committees