User contributions
From Termination-Portal.org
Jump to navigationJump to search- 13:08, 15 June 2009 diff hist +103 Functional Programming
- 12:47, 15 June 2009 diff hist +560 N Functional Programming New page: Within the Termination Competition, there is a category on Functional Programming where the object is to prove termination of Haskell functions automatically. Currently, the Termination P...
- 12:31, 5 June 2009 diff hist +476 TC SC Meeting WST09 →Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig current
- 20:02, 3 June 2009 diff hist 0 TC SC Meeting WST09 →Report on the TC SC Meeting, Wednesday, 3 June 2009, Leipzig
- 20:01, 3 June 2009 diff hist +45 TC SC Meeting WST09 →Items proposed for the agenda
- 19:58, 3 June 2009 diff hist +486 TC SC Meeting WST09 →Items adopted for inclusion in the agenda
- 17:22, 20 May 2009 diff hist -165 TC SC Meeting WST09
- 05:40, 20 May 2009 diff hist +262 TC SC Meeting WST09
- 05:37, 20 May 2009 diff hist +20 Tools:Nonloop current
- 05:35, 20 May 2009 diff hist +538 N Bibtex:Oppelt08 New page: == BibTex == <!-- Please add the BibTeX data below this comment. --> <bibtex> @mastersthesis{Oppelt08, author="Martin Oppelt", title="Automatische Erkennung von Able... current
- 05:25, 20 May 2009 diff hist +57 Tools:Matchbox
- 12:43, 18 May 2009 diff hist +849 N Tools:TrafO 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...
- 11:01, 15 May 2009 diff hist +298 TC SC Meeting WST09
- 16:46, 14 May 2009 diff hist +471 N TC SC Meeting WST09 New page: The TC SC will hold session on Wednesday, June 3rd, 2009, in Leipzig, during the Workshop on Termination. (Exact time of day will be announced after scheduling the regular workshop talks....
- 16:33, 14 May 2009 diff hist +129 Termination Competition Steering Committee
- 12:04, 13 May 2009 diff hist +572 N Tools:A3PAT 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...
- 07:49, 13 May 2009 diff hist +368 N TPDB New page: The Termination Problems Data Base collects termination problems that are being used in termination competitions. Syntax and semantics specification: * for versions up to 5.*: http://www....
- 07:39, 13 May 2009 diff hist +97 Termination Competition →Annual International Termination Competition
- 22:51, 12 May 2009 diff hist +73 Tools:Cime
- 22:43, 12 May 2009 diff hist +578 N Tools:Polytool 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...
- 12:56, 24 April 2009 diff hist +96 Termination Competition 2008 current
- 10:11, 12 March 2009 diff hist -1,480 WST09
- 10:10, 12 March 2009 diff hist 0 WST
- 09:46, 12 March 2009 diff hist +27 Termination Competition
- 09:45, 12 March 2009 diff hist +345 Termination Competition →Annual International Termination Competition
- 17:09, 24 February 2009 diff hist +259 Talk:XTC Format Specification →Name clashes
- 10:37, 18 February 2009 diff hist +71 WST09
- 10:53, 11 December 2008 diff hist +150 WST09 →general information
- 10:46, 11 December 2008 diff hist +227 WST09
- 12:04, 21 November 2008 diff hist +212 Termination Competition Platform
- 15:19, 20 November 2008 diff hist +145 Termination Competition Platform →Wishlist: Query Interface
- 14:57, 20 November 2008 diff hist +164 Termination Competition Platform
- 14:45, 20 November 2008 diff hist +1,173 N Termination Competition Platform New page: = Note = There is (will be) a well-defined process of making design decisions w.r.t. the Termination Competition Execution and Presentation Platform (via mailing list, steering committee...
- 14:28, 20 November 2008 diff hist +186 Termination Competition 2008
- 10:21, 12 November 2008 diff hist +143 Termination Competition Steering Committee Bylaws →goal: steering of termination competition current
- 10: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:54, 12 November 2008 diff hist -1,136 Termination Competition Steering Committee
- 11:10, 7 November 2008 diff hist 0 Tools:Nonloop
- 10: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...
- 11:04, 3 November 2008 diff hist +35 Termination Competition Steering Committee
- 09:06, 3 November 2008 diff hist -16 Outermost →Participants
- 07:14, 3 November 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 13:13, 1 November 2008 diff hist +26 Termination Competition Steering Committee
- 15:17, 31 October 2008 diff hist +20 Termination Competition Steering Committee →Current Votes
- 15:16, 31 October 2008 diff hist +288 Termination Competition Steering Committee →Current Votes
- 15:13, 31 October 2008 diff hist -53 Termination Competition Steering Committee
- 21:57, 30 October 2008 diff hist +349 Termination Competition Steering Committee →Current Votes
- 21:56, 30 October 2008 diff hist -487 Termination Competition Steering Committee →Proposed Votes
- 16:12, 30 October 2008 diff hist +21 Termination Competition Steering Committee →Proposed Votes
- 16:11, 30 October 2008 diff hist +65 Termination Competition Steering Committee →Proposed Votes