User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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..."