User contributions
From Termination-Portal.org
Jump to navigationJump to search- 17:53, 29 October 2008 diff hist +97 Termination Competition Steering Committee →Earlier Votes
- 14:24, 29 October 2008 diff hist +2 Termination Competition Steering Committee →Proposed Votes
- 14:22, 29 October 2008 diff hist +385 Termination Competition Steering Committee →Earlier Votes
- 14:22, 29 October 2008 diff hist -138 Termination Competition Steering Committee →Proposed Votes
- 12:03, 22 October 2008 diff hist -18 Termination Competition 2008
- 12:02, 22 October 2008 diff hist +84 Termination Competition 2008
- 11: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:45, 22 October 2008 diff hist -117 Termination Competition
- 12:28, 20 October 2008 diff hist +79 Termination Competition Steering Committee
- 11:18, 20 October 2008 diff hist +29 N Wrong title complexity Wrong title complexity moved to News:Complexity current
- 11:17, 20 October 2008 diff hist +36 N News:News Caption News:News Caption moved to Wrong title complexity current
- 11: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:37, 20 October 2008 diff hist +309 Complexity:Old
- 10: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.)
- 11:47, 14 October 2008 diff hist +260 Termination Competition Steering Committee
- 10:55, 14 October 2008 diff hist +498 Termination Competition Steering Committee
- 15:50, 16 July 2008 diff hist +1,688 TCM-July-2008 current
- 13: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: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
- 14:52, 2 June 2008 diff hist -44 Termination Competition Steering Committee →Proposed Bylaws for the Termination Competition (Committee)