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.
12 November 2008
- 10:2110:21, 12 November 2008 diff hist +143 Termination Competition Steering Committee Bylaws →goal: steering of termination competition current
- 10:0710: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:5409:54, 12 November 2008 diff hist −1,136 Termination Competition Steering Committee No edit summary
7 November 2008
- 11:1011:10, 7 November 2008 diff hist 0 Tools:Nonloop No edit summary
- 10:4910: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...
3 November 2008
- 11:0411:04, 3 November 2008 diff hist +35 Termination Competition Steering Committee No edit summary
- 09:0609:06, 3 November 2008 diff hist −16 Outermost →Participants
- 07:1407:14, 3 November 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
1 November 2008
- 13:1313:13, 1 November 2008 diff hist +26 Termination Competition Steering Committee No edit summary
31 October 2008
- 15:1715:17, 31 October 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 15:1615:16, 31 October 2008 diff hist +288 Termination Competition Steering Committee →Current Votes
- 15:1315:13, 31 October 2008 diff hist −53 Termination Competition Steering Committee No edit summary
30 October 2008
- 21:5721:57, 30 October 2008 diff hist +349 Termination Competition Steering Committee →Current Votes
- 21:5621:56, 30 October 2008 diff hist −487 Termination Competition Steering Committee →Proposed Votes
- 16:1216:12, 30 October 2008 diff hist +21 Termination Competition Steering Committee →Proposed Votes
- 16:1116:11, 30 October 2008 diff hist +65 Termination Competition Steering Committee →Proposed Votes
- 15:4215:42, 30 October 2008 diff hist +174 Termination Competition Steering Committee →Proposed Votes
- 15:3615:36, 30 October 2008 diff hist −146 Termination Competition Steering Committee →Current Votes
- 15:3315:33, 30 October 2008 diff hist +197 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:5912:59, 30 October 2008 diff hist −300 Termination Competition Steering Committee →Proposed Votes
- 12:5712:57, 30 October 2008 diff hist +157 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:5512:55, 30 October 2008 diff hist +198 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:5312:53, 30 October 2008 diff hist −171 Termination Competition Steering Committee →Proposed Votes
- 12:5212:52, 30 October 2008 diff hist +259 Termination Competition Steering Committee →Earlier Votes
- 11:4911:49, 30 October 2008 diff hist +138 Termination Competition Steering Committee →Current Votes
29 October 2008
- 18:5518:55, 29 October 2008 diff hist +134 Termination Competition Steering Committee →Proposed Votes
- 17:5317:53, 29 October 2008 diff hist +97 Termination Competition Steering Committee →Earlier Votes
- 14:2414:24, 29 October 2008 diff hist +2 Termination Competition Steering Committee →Proposed Votes
- 14:2214:22, 29 October 2008 diff hist +385 Termination Competition Steering Committee →Earlier Votes
- 14:2214:22, 29 October 2008 diff hist −138 Termination Competition Steering Committee →Proposed Votes
22 October 2008
- 12:0312:03, 22 October 2008 diff hist −18 Termination Competition 2008 No edit summary
- 12:0212:02, 22 October 2008 diff hist +84 Termination Competition 2008 No edit summary
- 11:5911: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:4511:45, 22 October 2008 diff hist −117 Termination Competition No edit summary
20 October 2008
- 12:2812:28, 20 October 2008 diff hist +79 Termination Competition Steering Committee No edit summary
- 11:1811:18, 20 October 2008 diff hist +29 N Wrong title complexity Wrong title complexity moved to News:Complexity current
- 11:1711:17, 20 October 2008 diff hist +36 N News:News Caption News:News Caption moved to Wrong title complexity current
- 11:1511: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:3710:37, 20 October 2008 diff hist +309 Complexity:Old No edit summary
- 10:3010: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.)
14 October 2008
- 11:4711:47, 14 October 2008 diff hist +260 Termination Competition Steering Committee No edit summary
- 10:5510:55, 14 October 2008 diff hist +498 Termination Competition Steering Committee No edit summary
16 July 2008
- 15:5015:50, 16 July 2008 diff hist +1,688 TCM-July-2008 No edit summary current
15 July 2008
- 13:0113: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:4512: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
2 June 2008
- 14:5214:52, 2 June 2008 diff hist −44 Termination Competition Steering Committee →Proposed Bylaws for the Termination Competition (Committee)
- 14:4914:49, 2 June 2008 diff hist +39 Termination Competition Steering Committee No edit summary
- 14:4914:49, 2 June 2008 diff hist −166 Termination Competition No edit summary
- 14:4814:48, 2 June 2008 diff hist +1,876 N Termination Competition Steering Committee New page: The basic ideas are: * one research group hosts (implements, executes) the competition * a committee, representing all research groups, influences the design and the running of the competi...
- 14:1214:12, 2 June 2008 diff hist −25 Termination Competition →Current Votes