Jump to content

User contributions for J.waldmann

Results for J.waldmann talk block log uploads logs

A user with 577 edits. Account created on 29 March 2008.

15:1315:13, 12 July 2015 diff hist +211 Termination Competition 2015 TODO →accepted
15:1115: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:0115:01, 12 July 2015 diff hist +55 Termination Competition 2015 No edit summary

17:3317:33, 7 July 2015 diff hist +36 Termtools No edit summary

15:1315:13, 1 July 2015 diff hist +8 Termination Competition 2015 Registration →Registered Solvers
15:0515:05, 1 July 2015 diff hist +209 Termination Competition 2015 Registration →Registered Solvers
11:4911:49, 1 July 2015 diff hist +18 Termination Competition 2015 Registration →Registered Solvers
11:4511:45, 1 July 2015 diff hist +143 Termination Competition 2015 Registration →Benchmark submissions
11:4311:43, 1 July 2015 diff hist 0 Termination Competition 2015 Registration →Registered Solvers
11:4311:43, 1 July 2015 diff hist +89 Termination Competition 2015 Registration →Registered Solvers
11:2311:23, 1 July 2015 diff hist +131 Termination Competition 2015 Registration →General
11:0911:09, 1 July 2015 diff hist +993 Termination Competition 2015 Registration No edit summary
07:0807:08, 1 July 2015 diff hist +63 Termination Competition 2015 Registration No edit summary
07:0507: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:4016:40, 22 June 2015 diff hist +2 Termination Competition 2015 No edit summary
16:4016:40, 22 June 2015 diff hist +87 Termination Competition 2015 No edit summary

11:1811:18, 2 June 2015 diff hist +182 Termination Competition 2015 →Changes with respect to 2014
11:1511:15, 2 June 2015 diff hist +80 Termination Competition 2015 No edit summary
11:1311:13, 2 June 2015 diff hist −1 Termination Competition 2015 →Changes with respect to 2014
11:1211:12, 2 June 2015 diff hist +140 Termination Competition 2015 No edit summary
11:0311:03, 2 June 2015 diff hist +13 Termination Competition 2015 →Technical Detail
11:0211:02, 2 June 2015 diff hist −46 Termination Competition 2015 →Committees

18:3918:39, 29 May 2015 diff hist +84 WST No edit summary

10:4910: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:1412:14, 21 January 2015 diff hist +8 Termination Competition 2015 →Dates (Preliminary)
12:1212:12, 21 January 2015 diff hist −135 Termination Competition 2015 →Competition Procedure
12:0912:09, 21 January 2015 diff hist +2 Termination Competition 2015 →Dates (Preliminary)

15:0115: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:1712:17, 7 August 2014 diff hist +41 Termination Competition 2014 Questionnaire No edit summary current

19:4519:45, 6 August 2014 diff hist +1,474 Termination Competition 2014 Questionnaire →6. What were the negative aspects?

08:4208:42, 29 July 2014 diff hist −2 Termination Competition 2014 →Current News
08:4108: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:4108: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:3308: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:1108:11, 29 July 2014 diff hist +50 Termination Competition 2014 →Current News

16:2716:27, 21 July 2014 diff hist −18 Termination Competition 2014 →Current News
08:0408:04, 21 July 2014 diff hist +102 Termination Competition 2014 →Current News

14:1414:14, 20 July 2014 diff hist +50 Termination Competition 2014 →Current News

14:4314:43, 19 July 2014 diff hist −6 Termination Competition 2014 Registration →Participants current
14:1414:14, 19 July 2014 diff hist −2 Termination Competition 2014 →Current News
14:1414:14, 19 July 2014 diff hist +148 Termination Competition 2014 No edit summary
11:0211:02, 19 July 2014 diff hist −12 Termination Competition 2014 →Dates (tentative)

15:3115:31, 14 July 2014 diff hist 0 Termination Competition 2014 →Dates (tentative)

11:4311:43, 29 June 2014 diff hist −69 Termination Competition 2014 Registration →Procedure

11:3911:39, 23 June 2014 diff hist +268 Termination Competition 2014 Registration →Participants

Retrieved from "http://termination-portal.org/wiki/Special:Contributions/J.waldmann"