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.

14:4914:49, 3 December 2011 diff hist +113 Termination Competition →Upcoming Competition
14:4814:48, 3 December 2011 diff hist −5 News:Plan for Termination Competition 2012 No edit summary current
14:4714: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:4314:43, 3 December 2011 diff hist +4 News:Plan for Termination Competition 2012 No edit summary
14:4014: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:4708:47, 10 October 2011 diff hist −11 Termination Competition →History of Termination Competitions
08:4608:46, 10 October 2011 diff hist +1 Termination Competition →History of Termination Competitions
08:4608:46, 10 October 2011 diff hist +228 Termination Competition →History of Termination Competitions
08:3608:36, 10 October 2011 diff hist −21 Termination Competition →History of Termination Competitions
08:3608:36, 10 October 2011 diff hist +34 Termination Competition →History of Termination Competitions
08:3508:35, 10 October 2011 diff hist +155 Termination Competition 2011 No edit summary current
08:3408:34, 10 October 2011 diff hist +144 Termination Competition No edit summary

10:5210:52, 19 May 2011 diff hist +95 Termination Competition 2011 No edit summary

14:0314:03, 19 April 2011 diff hist 0 Termination Competition 2011 No edit summary
11:0111:01, 19 April 2011 diff hist +65 Termination Competition →Annual International Termination Competition
10:5910:59, 19 April 2011 diff hist +1 News:Termination Competition 2011: May 30 - June 1 No edit summary current
10:5810:58, 19 April 2011 diff hist −4 News:Termination Competition 2010 in July No edit summary current
10:5810: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:5710:57, 19 April 2011 diff hist +9 News:Termination Competition 2011: May 30 - June 1 No edit summary
10:5510: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:3910:39, 17 January 2011 diff hist +15 Tools:CoLoR No edit summary

13:1513:15, 18 May 2010 diff hist +386 Termination Competition 2010 provisional timeline

15:1615:16, 29 April 2010 diff hist +1 Termination Competition 2010 No edit summary
15:1515:15, 29 April 2010 diff hist +94 Termination Competition 2010 No edit summary
15:1215:12, 29 April 2010 diff hist +112 Termination Competition 2010 No edit summary
15:0915:09, 29 April 2010 diff hist +232 Termination Competition 2010 No edit summary
11:0811:08, 29 April 2010 diff hist −12 News:Termination Competition 2010 in July No edit summary
11:0811: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:0511: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:0211:02, 29 April 2010 diff hist +52 Termination Competition move 2009 to "past"

12:3612:36, 11 February 2010 diff hist +76 TPDB →Data

14:3914:39, 15 January 2010 diff hist +171 Complexity:Old →lower bounds

11:3611:36, 30 December 2009 diff hist +39 Suggestions No edit summary
11:3411:34, 30 December 2009 diff hist +62 Suggestions No edit summary

20:5420:54, 22 December 2009 diff hist +305 Complexity:Old →lower bounds
20:4920:49, 22 December 2009 diff hist +239 Complexity:Old →Concrete syntax

09:2609:26, 21 December 2009 diff hist +67 Suggestions No edit summary
09:1509: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:1309:13, 21 December 2009 diff hist +32 Termination Portal No edit summary
09:0909:09, 21 December 2009 diff hist +30 Termination Competition →Competition Categories
08:5008:50, 21 December 2009 diff hist +70 Tools:Matchbox No edit summary

12:3912:39, 18 December 2009 diff hist +67 Termination Competition →History of Termination Competitions

19:3619:36, 14 December 2009 diff hist +1 Complexity:Old →Competition 2009
19:3619:36, 14 December 2009 diff hist +9 Complexity:Old →Competition 2009

18:0318:03, 11 December 2009 diff hist +442 Complexity:Old →lower bounds
17:4817:48, 11 December 2009 diff hist +101 Complexity:Old No edit summary

12:4112: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:3612:36, 10 December 2009 diff hist +12 Termination Competition →Competition Categories
12:3612:36, 10 December 2009 diff hist −35 Termination Competition →Competition Categories
12:0012:00, 10 December 2009 diff hist +109 TPDB →Syntax and semantics specification

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