User contributions for Albert
5 September 2017
- 11:0411:04, 5 September 2017 diff hist +2 Termination Competition →History of Termination Competitions
17 July 2017
- 08:5708:57, 17 July 2017 diff hist 0 Termination Competition 2017 No edit summary
- 08:5508:55, 17 July 2017 diff hist −2 Termination Competition 2017 No edit summary
- 08:5408:54, 17 July 2017 diff hist +2 Termination Competition 2017 No edit summary
- 08:5208:52, 17 July 2017 diff hist +1,431 N Termination Competition 2017 Registration Created page with "general information: Termination_Competition_2017 == Test Runs == not yet availabe <!-- most recent public test run * [http://termcomp.imn.htwk-leipzig.de/competitions..."
- 08:4808:48, 17 July 2017 diff hist 0 Termination Competition 2017 No edit summary
- 08:4808:48, 17 July 2017 diff hist −444 Termination Competition 2017 No edit summary
- 08:4608:46, 17 July 2017 diff hist +7,196 N Termination Competition 2017 Created page with "In 2017, the Termination and Complexity Competition <!-- ([http://lists.lri.fr/pipermail/termtools/2015-June/000984.html Call for Participation]) --> will be affiliated with t..."
- 08:3508:35, 17 July 2017 diff hist +133 Termination Competition →History of Termination Competitions
4 May 2017
- 09:2309:23, 4 May 2017 diff hist +84 Termination Competition →History of Termination Competitions
- 09:1909:19, 4 May 2017 diff hist 0 Termination Competition Steering Committee No edit summary
28 August 2015
- 13:0313:03, 28 August 2015 diff hist 0 Termination Competition →History of Termination Competitions
- 13:0113:01, 28 August 2015 diff hist −63 Termination Competition No edit summary
- 12:5912:59, 28 August 2015 diff hist +62 Termination Competition No edit summary
- 12:5712:57, 28 August 2015 diff hist +281 Termination Competition No edit summary
20 July 2014
- 12:4012:40, 20 July 2014 diff hist 0 Termination Competition 2014 No edit summary
26 May 2014
- 12:4912:49, 26 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 12:4612:46, 26 May 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)
- 12:3812:38, 26 May 2014 diff hist +11 Termination Competition 2014 →Dates (tentative)
- 12:3412:34, 26 May 2014 diff hist +10 Termination Competition 2014 No edit summary
- 10:4210:42, 26 May 2014 diff hist −47 C Programs →Proposed semantics
- 10:4010:40, 26 May 2014 diff hist −117 C Programs →Discussion
- 10:3810:38, 26 May 2014 diff hist +3 Termination Competition 2014 No edit summary
- 10:3410:34, 26 May 2014 diff hist +2,333 Termination Competition 2014 No edit summary
- 10:3110:31, 26 May 2014 diff hist +1 Termination Competition Certified Categories Competition No edit summary
- 10:3010:30, 26 May 2014 diff hist +3,836 N Termination Competition Certified Categories Competition Created page with "The certified categories will be run as follows: * Tools that can produce output in CPF and that participate in the certified competition are run in parallel to the tools whi..."
- 09:4809:48, 26 May 2014 diff hist +1,552 N Termination Competition Problem Selection Algorithm Created page with "We will fix some number "c" with 0 < c < 1. This number indicates the percentage of problems to be taken from each family. So in principle, we would like to choose c * |F| pro..." current
- 09:4409:44, 26 May 2014 diff hist −1,944 Termination Competition 2014 No edit summary
- 09:4109:41, 26 May 2014 diff hist +2,281 N Termination Competition 2014 technical details Created page with "We intend to run the competition on [http://www.starexec.org/ StarExec] - a cross-community solver execution and benchmark library service under joint development (since 2012..."
- 09:3209:32, 26 May 2014 diff hist +220 Termination Competition 2014 No edit summary