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 +56 N Termination Competition 2014 Questionannaire J.waldmann moved page Termination Competition 2014 Questionannaire to Termination Competition 2014 Questionnaire current
- 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: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 +55 N Termination Competition 2014 Participants J.waldmann moved page Termination Competition 2014 Participants to Termination Competition 2014 Registration current
- 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: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
- 16:22, 15 May 2014 diff hist +369 Termination Competition 2014
- 13:06, 15 May 2014 diff hist +118 Termination Competition 2014 →Technical Detail
- 14:18, 14 May 2014 diff hist +7 Termination Competition 2014 →Dates (tentative)
- 10:38, 14 May 2014 diff hist +25 C Programs
- 10:32, 14 May 2014 diff hist +136 Termination Competition 2014
- 10:30, 14 May 2014 diff hist +597 Termination Competition 2014 →Competition Categories
- 10:18, 14 May 2014 diff hist +1,844 N C Programs Created page with "== Proposed semantics == * The starting point is the main function without arguments. * Functions which are only declared, but not defined, are considered to be termin..."
- 10:07, 14 May 2014 diff hist +35 Termination Competition →Competition Categories
- 10:04, 14 May 2014 diff hist -1 Termination Competition 2014 →Dates (tentative)
- 10:03, 14 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 10:02, 14 May 2014 diff hist +33 News:Termination Competition 2014 is part of FLoC Olympics current
- 19:48, 13 May 2014 diff hist +44 Termination Competition 2014 →Technical Detail
- 19:45, 13 May 2014 diff hist -7 Termination Competition 2014 →Dates (tentative)
- 19:44, 13 May 2014 diff hist +51 Termination Competition 2014 →Dates (tentative)
- 19:43, 13 May 2014 diff hist +95 Termination Competition →Annual International Termination Competition
- 19:41, 13 May 2014 diff hist -89 Termination Competition →Upcoming Competitions
- 19:40, 13 May 2014 diff hist +624 Termination Competition 2014 →Technical Detail
- 19:34, 13 May 2014 diff hist -1,355 Star Exec →Starexec for Termcomp in 2014 current
- 19:33, 13 May 2014 diff hist +1,746 Termination Competition 2014
- 19:23, 13 May 2014 diff hist +388 Star Exec →Starexec for Termcomp in 2014
- 19:37, 25 February 2014 diff hist +507 N Star Exec Presenter Created page with "While the competition will be run on Starexec, results will be presented on a separate platform that is currently under construction at HTWK Leipzig. Notes for implementation..." current
- 19:31, 25 February 2014 diff hist +157 Star Exec →Starexec for Termcomp in 2014
- 17:36, 25 February 2014 diff hist +53 Star Exec →Starexec for Termcomp in 2014
- 15:16, 22 February 2014 diff hist +113 TPDB →Tools
- 15:12, 22 February 2014 diff hist +16 TPDB →Sources
- 19:16, 21 February 2014 diff hist +669 N News:Workshop on Termination 2014 at Vienna Summer of Logic 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
- 19:13, 21 February 2014 diff hist +726 N News:Termination Competition 2014 is part of FLoC Olympics 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..."
- 19:02, 21 February 2014 diff hist +60 Star Exec →Starexec for Termcomp in 2014
- 18:34, 21 February 2014 diff hist +232 Star Exec →Starexec for Termcomp in 2014
- 18:27, 21 February 2014 diff hist -52 Star Exec
- 18:26, 21 February 2014 diff hist -10 Termination Competition →Upcoming Competitions
- 18:24, 21 February 2014 diff hist -173 Star Exec →Starexec for Termcomp in 2014
- 18:09, 21 February 2014 diff hist +156 Star Exec →Starexec for Termcomp in 2014
- 18:06, 21 February 2014 diff hist +271 Star Exec →Starexec for Termcomp in 2014
- 17:59, 21 February 2014 diff hist +105 Star Exec
- 17:57, 21 February 2014 diff hist +319 Star Exec
- 17:49, 21 February 2014 diff hist +156 Star Exec
- 17:43, 21 February 2014 diff hist +4 News:Full TPDB run, December 2013 current
- 17:42, 21 February 2014 diff hist +729 N News:Full TPDB run, December 2013 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..."
- 15:24, 21 February 2014 diff hist +71 TPDB →Sources
- 15:22, 21 February 2014 diff hist +67 TPDB →Sources
- 15:10, 21 February 2014 diff hist +111 TPDB →Sources
- 15:09, 21 February 2014 diff hist +96 TPDB →Sources
- 14:54, 21 February 2014 diff hist +14 TPDB →Sources
- 14:53, 21 February 2014 diff hist +617 TPDB
- 08:47, 22 October 2013 diff hist +106 N Termination Competition 2014 Created page with "In 2014, the Termination Competition will be part of the [http://vsl2014.at/olympics/ FLoC Olympic Games]."
- 08:46, 22 October 2013 diff hist -13 Termination Competition →Upcoming Competitions
- 09:45, 5 September 2013 diff hist +165 WST
- 11:58, 26 August 2013 diff hist +60 WST2013 current
- 13:54, 19 July 2013 diff hist +21 WST2013 →Registration, Travel
- 13:54, 19 July 2013 diff hist +40 WST2013 →Important Dates
- 14:20, 14 July 2013 diff hist 0 WST2013 →Important Dates
- 09:42, 11 July 2013 diff hist +530 WST2013 →Registration, Travel
- 11:16, 10 July 2013 diff hist -4 WST2013 →Program Committee
- 09:12, 10 July 2013 diff hist +566 N News:Workshop on Termination 2013: August 28 - 31 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
- 09:08, 10 July 2013 diff hist -200 WST
- 09:07, 10 July 2013 diff hist +1 WST
- 09:07, 10 July 2013 diff hist -6 WST
- 09:06, 10 July 2013 diff hist +551 WST2013 →Program Committee
- 09:03, 10 July 2013 diff hist +301 WST2013
- 08:58, 10 July 2013 diff hist +3,924 N WST2013 Created page with " The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical o..."
- 08:54, 10 July 2013 diff hist -63 WST
- 13:29, 12 February 2013 diff hist +333 N Termination Competition 2013 Created page with "The Termination Competition 2013 will be run during the [http://www.win.tue.nl/rdp2013/ RDP 2013 Conference] (June 23 - June 28). The competition will be hosted on the [http:..."
- 13:27, 12 February 2013 diff hist -8 Termination Competition →Upcoming Competitions
- 13:25, 12 February 2013 diff hist -10 WST
- 22:04, 22 January 2013 diff hist +85 WST
- 09:50, 27 June 2012 diff hist +27 Contribute →How to Contribute current
- 07:14, 27 June 2012 diff hist -36 Tools:HOT current
- 18:30, 26 June 2012 diff hist +825 N Tools:HOT Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..."
- 18:27, 26 June 2012 diff hist +763 N Tools:THOR Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:25, 26 June 2012 diff hist +768 N Tools:Wanda Created page with " <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool pa..." current
- 18:19, 26 June 2012 diff hist +676 N Termination Competition 2012 Comments Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va..."
- 18:11, 26 June 2012 diff hist +43 Termination Competition 2012 current
- 17:41, 25 June 2012 diff hist 0 Star Exec →Extra Features
- 17:41, 25 June 2012 diff hist +46 Star Exec →Extra Features
- 16:43, 24 June 2012 diff hist 0 Star Exec Test current
- 16:32, 24 June 2012 diff hist +302 Star Exec Test
- 16:26, 24 June 2012 diff hist +211 Star Exec Test
- 14:16, 24 June 2012 diff hist 0 Star Exec Test
- 14:13, 24 June 2012 diff hist 0 Star Exec Test
- 14:10, 24 June 2012 diff hist +881 Star Exec Test
- 13:59, 24 June 2012 diff hist +1,489 Star Exec Test
- 13:24, 24 June 2012 diff hist +1,389 N Star Exec Test Created page with "This is an collection of notes that I (JW) am making while using the Star Exec service. The plan is to submit some benchmarks (from TPDB), submit some solvers (initially, my o..."
- 12:46, 24 June 2012 diff hist +94 Star Exec
- 22:21, 21 June 2012 diff hist +255 Star Exec →Running the Competition
- 22:18, 21 June 2012 diff hist +85 Star Exec →Extra Features
- 08:32, 13 June 2012 diff hist +56 Star Exec
- 08:30, 13 June 2012 diff hist +547 Star Exec
- 08:21, 13 June 2012 diff hist +900 Star Exec
- 13:04, 12 June 2012 diff hist +918 N Star Exec Created page with "[http://www.starexec.org/ StarExec] is a cross-community solver execution and benchmark library service under joint development at the University of Iowa and the University o..."
- 12:57, 12 June 2012 diff hist +101 Termination Competition →Upcoming Competition
- 07:31, 5 April 2012 diff hist +388 N Termination Competition 2012 Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a..."
- 07:21, 5 April 2012 diff hist +29 Termination Competition →Upcoming Competition
- 07:20, 5 April 2012 diff hist +25 Termination Competition →Upcoming Competition
- 07:18, 5 April 2012 diff hist -85 Termination Competition →Upcoming Competition
- 11:59, 12 December 2011 diff hist +91 Termination Competition →History of Termination Competitions
- 11:58, 12 December 2011 diff hist -58 Termination Competition →History of Termination Competitions
- 11:57, 12 December 2011 diff hist +103 Termination Competition →History of Termination Competitions
- 11:56, 12 December 2011 diff hist -3 Termination Competition →History of Termination Competitions
- 11:56, 12 December 2011 diff hist -39 Termination Competition →History of Termination Competitions
- 11:46, 12 December 2011 diff hist +16 TPDB →Data
- 14:56, 3 December 2011 diff hist -98 Termination Competition →History of Termination Competitions
- 14:50, 3 December 2011 diff hist +69 Termination Competition →Upcoming Competition
- 14:49, 3 December 2011 diff hist +113 Termination Competition →Upcoming Competition
- 14:48, 3 December 2011 diff hist -5 News:Plan for Termination Competition 2012 current
- 14:47, 3 December 2011 diff hist +667 N News:Plan for complete run (all tools, all problems) 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..."
- 14:43, 3 December 2011 diff hist +4 News:Plan for Termination Competition 2012
- 14:40, 3 December 2011 diff hist +714 N News:Plan for Termination Competition 2012 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..."
- 08:47, 10 October 2011 diff hist -11 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +1 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +228 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist -21 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist +34 Termination Competition →History of Termination Competitions
- 08:35, 10 October 2011 diff hist +155 Termination Competition 2011 current
- 08:34, 10 October 2011 diff hist +144 Termination Competition
- 10:52, 19 May 2011 diff hist +95 Termination Competition 2011
- 14:03, 19 April 2011 diff hist 0 Termination Competition 2011
- 11:01, 19 April 2011 diff hist +65 Termination Competition →Annual International Termination Competition
- 10:59, 19 April 2011 diff hist +1 News:Termination Competition 2011: May 30 - June 1 current
- 10:58, 19 April 2011 diff hist -4 News:Termination Competition 2010 in July current
- 10:58, 19 April 2011 diff hist +220 N Termination Competition 2011 Created page with "Important dates * Software requests: May 13 2010 * Problem submission: May 27 2011, 12:01 CET * Tool submission: May 27 2011, 12:01 CET * Competition start: May 30 2011..."
- 10:57, 19 April 2011 diff hist +9 News:Termination Competition 2011: May 30 - June 1
- 10:55, 19 April 2011 diff hist +646 N News:Termination Competition 2011: May 30 - June 1 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 here ..."
- 10:39, 17 January 2011 diff hist +15 Tools:CoLoR
- 13:15, 18 May 2010 diff hist +386 Termination Competition 2010 provisional timeline
- 15:16, 29 April 2010 diff hist +1 Termination Competition 2010
- 15:15, 29 April 2010 diff hist +94 Termination Competition 2010
- 15:12, 29 April 2010 diff hist +112 Termination Competition 2010
- 15:09, 29 April 2010 diff hist +232 Termination Competition 2010
- 11:08, 29 April 2010 diff hist -12 News:Termination Competition 2010 in July
- 11:08, 29 April 2010 diff hist +114 N News:Termination Competition 2010 in July Created page with '{{News |text=The Termination_Competition_2010 will be run during FLoC in July. |date=July 9 - July 21, 2010 }}'
- 11:05, 29 April 2010 diff hist +123 N Termination Competition 2010 Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.'
- 11:02, 29 April 2010 diff hist +52 Termination Competition move 2009 to "past"
- 12:36, 11 February 2010 diff hist +76 TPDB →Data
- 14:39, 15 January 2010 diff hist +171 Complexity:Old →lower bounds
- 11:36, 30 December 2009 diff hist +39 Suggestions current
- 11:34, 30 December 2009 diff hist +62 Suggestions
- 20:54, 22 December 2009 diff hist +305 Complexity:Old →lower bounds
- 20:49, 22 December 2009 diff hist +239 Complexity:Old →Concrete syntax
- 09:26, 21 December 2009 diff hist +67 Suggestions
- 09:15, 21 December 2009 diff hist +284 N Suggestions Created page with 'Suggestions to improve http://www.termination-portal.org/ * group the various competition categories (listed here: http://www.termination-portal.org/wiki/Termination_Competition…'
- 09:13, 21 December 2009 diff hist +32 Termination Portal
- 09:09, 21 December 2009 diff hist +30 Termination Competition →Competition Categories
- 08:50, 21 December 2009 diff hist +70 Tools:Matchbox
- 12:39, 18 December 2009 diff hist +67 Termination Competition →History of Termination Competitions
- 19:36, 14 December 2009 diff hist +1 Complexity:Old →Competition 2009
- 19:36, 14 December 2009 diff hist +9 Complexity:Old →Competition 2009
- 18:03, 11 December 2009 diff hist +442 Complexity:Old →lower bounds
- 17:48, 11 December 2009 diff hist +101 Complexity:Old
- 12:41, 10 December 2009 diff hist +842 N Certified Termination Created page with 'From the rules of the 2009 competition: The certified categories will be run as follows: * After the corresponding uncertified category of the competition has finished, the prob…'
- 12:36, 10 December 2009 diff hist +12 Termination Competition →Competition Categories
- 12:36, 10 December 2009 diff hist -35 Termination Competition →Competition Categories
- 12:00, 10 December 2009 diff hist +109 TPDB →Syntax and semantics specification
- 22:48, 7 December 2009 diff hist +358 TPDB
- 22:44, 7 December 2009 diff hist +60 TPDB
- 22:38, 7 December 2009 diff hist +66 TPDB
- 12:41, 1 December 2009 diff hist 0 Complexity:Old →Participation
- 12:40, 1 December 2009 diff hist -72 Complexity:Old →Competition 2008
- 12:40, 1 December 2009 diff hist +70 Complexity:Old →Competition 2009
- 14:59, 27 November 2009 diff hist +591 N Integer Term Rewriting Created page with 'The main idea of ITRSs is to add pre-defined constructors for integers (the integers themselves) and Booleans (true / false) and arithmetic, relational and Boolean functions like…'
- 14:56, 27 November 2009 diff hist +56 Termination Competition →Competition Categories
- 14:33, 27 November 2009 diff hist +1 News:Termination Competition 2009 in December current
- 14:32, 27 November 2009 diff hist +27 News:Termination Competition 2009 in December
- 14:30, 27 November 2009 diff hist +655 N News:Termination Competition 2009 in December 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 here …'
- 14:27, 27 November 2009 diff hist +53 Termination Competition
- 14:16, 27 November 2009 diff hist +171 Termination Competition
- 11:01, 23 June 2009 diff hist +111 Termination Competition →Annual International Termination Competition
- 11:00, 23 June 2009 diff hist +78 Termination Competition →Annual International Termination Competition
- 13:08, 15 June 2009 diff hist +13 Functional Programming
- 13:08, 15 June 2009 diff hist +103 Functional Programming
- 12:47, 15 June 2009 diff hist +560 N Functional Programming New page: Within the Termination Competition, there is a category on Functional Programming where the object is to prove termination of Haskell functions automatically. Currently, the Termination P...
- 12:31, 5 June 2009 diff hist +476 TC SC Meeting WST09 →Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig current
- 20:02, 3 June 2009 diff hist 0 TC SC Meeting WST09 →Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig
- 20:01, 3 June 2009 diff hist +45 TC SC Meeting WST09 →Items proposed for the agenda
- 19:58, 3 June 2009 diff hist +486 TC SC Meeting WST09 →Items adopted for inclusion in the agenda
- 17:22, 20 May 2009 diff hist -165 TC SC Meeting WST09
- 05:40, 20 May 2009 diff hist +262 TC SC Meeting WST09
- 05:37, 20 May 2009 diff hist +20 Tools:Nonloop current
- 05:35, 20 May 2009 diff hist +538 N Bibtex:Oppelt08 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @mastersthesis{Oppelt08, author="Martin Oppelt", title="Automatische Erkennung von Able... current
- 05:25, 20 May 2009 diff hist +57 Tools:Matchbox
- 12:43, 18 May 2009 diff hist +849 N Tools:TrafO New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 11:01, 15 May 2009 diff hist +298 TC SC Meeting WST09
- 16:46, 14 May 2009 diff hist +471 N TC SC Meeting WST09 New page: The TC SC will hold session on Wednesday, June 3rd, 2009, in Leipzig, during the Workshop on Termination. (Exact time of day will be announced after scheduling the regular workshop talks....
- 16:33, 14 May 2009 diff hist +129 Termination Competition Steering Committee
- 12:04, 13 May 2009 diff hist +572 N Tools:A3PAT New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 07:49, 13 May 2009 diff hist +368 N TPDB New page: The Termination Problems Data Base collects termination problems that are being used in termination competitions. Syntax and semantics specification: * for versions up to 5.*: http://www....
- 07:39, 13 May 2009 diff hist +97 Termination Competition →Annual International Termination Competition
- 22:51, 12 May 2009 diff hist +73 Tools:Cime
- 22:43, 12 May 2009 diff hist +578 N Tools:Polytool New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 12:56, 24 April 2009 diff hist +96 Termination Competition 2008 current
- 10:11, 12 March 2009 diff hist -1,480 WST09
- 10:10, 12 March 2009 diff hist 0 WST
- 09:46, 12 March 2009 diff hist +27 Termination Competition
- 09:45, 12 March 2009 diff hist +345 Termination Competition →Annual International Termination Competition
- 17:09, 24 February 2009 diff hist +259 Talk:XTC Format Specification →Name clashes
- 10:37, 18 February 2009 diff hist +71 WST09
- 10:53, 11 December 2008 diff hist +150 WST09 →general information
- 10:46, 11 December 2008 diff hist +227 WST09
- 12:04, 21 November 2008 diff hist +212 Termination Competition Platform
- 15:19, 20 November 2008 diff hist +145 Termination Competition Platform →Wishlist: Query Interface
- 14:57, 20 November 2008 diff hist +164 Termination Competition Platform
- 14:45, 20 November 2008 diff hist +1,173 N Termination Competition Platform New page: = Note = There is (will be) a well-defined process of making design decisions w.r.t. the Termination Competition Execution and Presentation Platform (via mailing list, steering committee...
- 14:28, 20 November 2008 diff hist +186 Termination Competition 2008
- 10:21, 12 November 2008 diff hist +143 Termination Competition Steering Committee Bylaws →goal: steering of termination competition current
- 10:07, 12 November 2008 diff hist +2,454 N Termination Competition Steering Committee Bylaws New page: (Draft, under discussion) = goal: steering of termination competition = The committee * elects one research group to host the Termination Competition (for some mutually agreeable range ...
- 09:54, 12 November 2008 diff hist -1,136 Termination Competition Steering Committee
- 11:10, 7 November 2008 diff hist 0 Tools:Nonloop
- 10:49, 7 November 2008 diff hist +619 N Tools:Nonloop New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...
- 11:04, 3 November 2008 diff hist +35 Termination Competition Steering Committee
- 09:06, 3 November 2008 diff hist -16 Outermost →Participants
- 07:14, 3 November 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 13:13, 1 November 2008 diff hist +26 Termination Competition Steering Committee
- 15:17, 31 October 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 15:16, 31 October 2008 diff hist +288 Termination Competition Steering Committee →Current Votes
- 15:13, 31 October 2008 diff hist -53 Termination Competition Steering Committee
- 21:57, 30 October 2008 diff hist +349 Termination Competition Steering Committee →Current Votes
- 21:56, 30 October 2008 diff hist -487 Termination Competition Steering Committee →Proposed Votes
- 16:12, 30 October 2008 diff hist +21 Termination Competition Steering Committee →Proposed Votes
- 16:11, 30 October 2008 diff hist +65 Termination Competition Steering Committee →Proposed Votes
- 15:42, 30 October 2008 diff hist +174 Termination Competition Steering Committee →Proposed Votes
- 15:36, 30 October 2008 diff hist -146 Termination Competition Steering Committee →Current Votes
- 15:33, 30 October 2008 diff hist +197 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:59, 30 October 2008 diff hist -300 Termination Competition Steering Committee →Proposed Votes
- 12:57, 30 October 2008 diff hist +157 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:55, 30 October 2008 diff hist +198 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:53, 30 October 2008 diff hist -171 Termination Competition Steering Committee →Proposed Votes
- 12:52, 30 October 2008 diff hist +259 Termination Competition Steering Committee →Earlier Votes
- 11:49, 30 October 2008 diff hist +138 Termination Competition Steering Committee →Current Votes
- 18:55, 29 October 2008 diff hist +134 Termination Competition Steering Committee →Proposed Votes
- 17:53, 29 October 2008 diff hist +97 Termination Competition Steering Committee →Earlier Votes
- 14:24, 29 October 2008 diff hist +2 Termination Competition Steering Committee →Proposed Votes
- 14:22, 29 October 2008 diff hist +385 Termination Competition Steering Committee →Earlier Votes
- 14:22, 29 October 2008 diff hist -138 Termination Competition Steering Committee →Proposed Votes
- 12:03, 22 October 2008 diff hist -18 Termination Competition 2008
- 12:02, 22 October 2008 diff hist +84 Termination Competition 2008
- 11:59, 22 October 2008 diff hist +487 N Termination Competition 2008 New page: From 2008 onwards, the competition will be ongoing: submission of new problems and provers is possible anytime via... * Termination Competition Execution Platform: http://colo5-c703.uibk....
- 11:45, 22 October 2008 diff hist -117 Termination Competition
- 12:28, 20 October 2008 diff hist +79 Termination Competition Steering Committee
- 11:18, 20 October 2008 diff hist +29 N Wrong title complexity Wrong title complexity moved to News:Complexity current
- 11:17, 20 October 2008 diff hist +36 N News:News Caption News:News Caption moved to Wrong title complexity current
- 11:15, 20 October 2008 diff hist +590 N News:Complexity Category New page: <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to... current
- 10:37, 20 October 2008 diff hist +309 Complexity:Old
- 10:30, 20 October 2008 diff hist +186 N Complexity:Old New page: This page is to record the current status of discussion on the proposed Complexity Category of the Termination Competition. (Discussion should take place on the termtools mailing list.)
- 11:47, 14 October 2008 diff hist +260 Termination Competition Steering Committee
- 10:55, 14 October 2008 diff hist +498 Termination Competition Steering Committee
- 15:50, 16 July 2008 diff hist +1,688 TCM-July-2008 current
- 13:01, 15 July 2008 diff hist +1,200 N TCM-July-2008 New page: == Date/Time/Location == 15 July 2008, 6:30 pm, during RTA at Hagenberg == Agenda == * current status of the competition test run ** the "Torpa problem" (what can programs expect on $PA...
- 12:45, 15 July 2008 diff hist +547 N News:Termination Competition Meeting, Hagenberg, 15th July 2008 New page: <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to... current
- 14:52, 2 June 2008 diff hist -44 Termination Competition Steering Committee →Proposed Bylaws for the Termination Competition (Committee)
- 14:49, 2 June 2008 diff hist +39 Termination Competition Steering Committee