User contributions
From Termination-Portal.org
Jump to navigationJump to search- 18:27, 26 June 2012 diff hist +763 N Tools:THOR Created page with " <!-- 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 pa..." current
- 18:25, 26 June 2012 diff hist +768 N Tools:Wanda Created page with " <!-- 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 pa..." current
- 18:19, 26 June 2012 diff hist +676 N Termination Competition 2012 Comments Created page with "Participants and observers may put their comments here. These could be used when a report on the competition is prepared. = SRS Certified = machbox-cert gets a "failed va..."
- 18:11, 26 June 2012 diff hist +43 Termination Competition 2012 current
- 17:41, 25 June 2012 diff hist 0 Star Exec →Extra Features
- 17:41, 25 June 2012 diff hist +46 Star Exec →Extra Features
- 16:43, 24 June 2012 diff hist 0 Star Exec Test current
- 16:32, 24 June 2012 diff hist +302 Star Exec Test
- 16:26, 24 June 2012 diff hist +211 Star Exec Test
- 14:16, 24 June 2012 diff hist 0 Star Exec Test
- 14:13, 24 June 2012 diff hist 0 Star Exec Test
- 14:10, 24 June 2012 diff hist +881 Star Exec Test
- 13:59, 24 June 2012 diff hist +1,489 Star Exec Test
- 13:24, 24 June 2012 diff hist +1,389 N Star Exec Test Created page with "This is an collection of notes that I (JW) am making while using the Star Exec service. The plan is to submit some benchmarks (from TPDB), submit some solvers (initially, my o..."
- 12:46, 24 June 2012 diff hist +94 Star Exec
- 22:21, 21 June 2012 diff hist +255 Star Exec →Running the Competition
- 22:18, 21 June 2012 diff hist +85 Star Exec →Extra Features
- 08:32, 13 June 2012 diff hist +56 Star Exec
- 08:30, 13 June 2012 diff hist +547 Star Exec
- 08:21, 13 June 2012 diff hist +900 Star Exec
- 13:04, 12 June 2012 diff hist +918 N Star Exec Created page with "[http://www.starexec.org/ StarExec] is a cross-community solver execution and benchmark library service under joint development at the University of Iowa and the University o..."
- 12:57, 12 June 2012 diff hist +101 Termination Competition →Upcoming Competition
- 07:31, 5 April 2012 diff hist +388 N Termination Competition 2012 Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a..."
- 07:21, 5 April 2012 diff hist +29 Termination Competition →Upcoming Competition
- 07:20, 5 April 2012 diff hist +25 Termination Competition →Upcoming Competition
- 07:18, 5 April 2012 diff hist -85 Termination Competition →Upcoming Competition
- 11:59, 12 December 2011 diff hist +91 Termination Competition →History of Termination Competitions
- 11:58, 12 December 2011 diff hist -58 Termination Competition →History of Termination Competitions
- 11:57, 12 December 2011 diff hist +103 Termination Competition →History of Termination Competitions
- 11:56, 12 December 2011 diff hist -3 Termination Competition →History of Termination Competitions
- 11:56, 12 December 2011 diff hist -39 Termination Competition →History of Termination Competitions
- 11:46, 12 December 2011 diff hist +16 TPDB →Data
- 14:56, 3 December 2011 diff hist -98 Termination Competition →History of Termination Competitions
- 14:50, 3 December 2011 diff hist +69 Termination Competition →Upcoming Competition
- 14:49, 3 December 2011 diff hist +113 Termination Competition →Upcoming Competition
- 14:48, 3 December 2011 diff hist -5 News:Plan for Termination Competition 2012 current
- 14: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:43, 3 December 2011 diff hist +4 News:Plan for Termination Competition 2012
- 14: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:47, 10 October 2011 diff hist -11 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +1 Termination Competition →History of Termination Competitions
- 08:46, 10 October 2011 diff hist +228 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist -21 Termination Competition →History of Termination Competitions
- 08:36, 10 October 2011 diff hist +34 Termination Competition →History of Termination Competitions
- 08:35, 10 October 2011 diff hist +155 Termination Competition 2011 current
- 08:34, 10 October 2011 diff hist +144 Termination Competition
- 10:52, 19 May 2011 diff hist +95 Termination Competition 2011
- 14:03, 19 April 2011 diff hist 0 Termination Competition 2011
- 11:01, 19 April 2011 diff hist +65 Termination Competition →Annual International Termination Competition
- 10:59, 19 April 2011 diff hist +1 News:Termination Competition 2011: May 30 - June 1 current
- 10:58, 19 April 2011 diff hist -4 News:Termination Competition 2010 in July current
- 10: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:57, 19 April 2011 diff hist +9 News:Termination Competition 2011: May 30 - June 1
- 10: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:39, 17 January 2011 diff hist +15 Tools:CoLoR
- 13:15, 18 May 2010 diff hist +386 Termination Competition 2010 provisional timeline
- 15:16, 29 April 2010 diff hist +1 Termination Competition 2010
- 15:15, 29 April 2010 diff hist +94 Termination Competition 2010
- 15:12, 29 April 2010 diff hist +112 Termination Competition 2010
- 15:09, 29 April 2010 diff hist +232 Termination Competition 2010
- 11:08, 29 April 2010 diff hist -12 News:Termination Competition 2010 in July
- 11: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: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:02, 29 April 2010 diff hist +52 Termination Competition move 2009 to "past"
- 12:36, 11 February 2010 diff hist +76 TPDB →Data
- 14:39, 15 January 2010 diff hist +171 Complexity:Old →lower bounds
- 11:36, 30 December 2009 diff hist +39 Suggestions current
- 11:34, 30 December 2009 diff hist +62 Suggestions
- 20:54, 22 December 2009 diff hist +305 Complexity:Old →lower bounds
- 20:49, 22 December 2009 diff hist +239 Complexity:Old →Concrete syntax
- 09:26, 21 December 2009 diff hist +67 Suggestions
- 09: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:13, 21 December 2009 diff hist +32 Termination Portal
- 09:09, 21 December 2009 diff hist +30 Termination Competition →Competition Categories
- 08:50, 21 December 2009 diff hist +70 Tools:Matchbox
- 12:39, 18 December 2009 diff hist +67 Termination Competition →History of Termination Competitions
- 19:36, 14 December 2009 diff hist +1 Complexity:Old →Competition 2009
- 19:36, 14 December 2009 diff hist +9 Complexity:Old →Competition 2009
- 18:03, 11 December 2009 diff hist +442 Complexity:Old →lower bounds
- 17:48, 11 December 2009 diff hist +101 Complexity:Old
- 12: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:36, 10 December 2009 diff hist +12 Termination Competition →Competition Categories
- 12:36, 10 December 2009 diff hist -35 Termination Competition →Competition Categories
- 12:00, 10 December 2009 diff hist +109 TPDB →Syntax and semantics specification
- 22:48, 7 December 2009 diff hist +358 TPDB
- 22:44, 7 December 2009 diff hist +60 TPDB
- 22:38, 7 December 2009 diff hist +66 TPDB
- 12:41, 1 December 2009 diff hist 0 Complexity:Old →Participation
- 12:40, 1 December 2009 diff hist -72 Complexity:Old →Competition 2008
- 12:40, 1 December 2009 diff hist +70 Complexity:Old →Competition 2009
- 14:59, 27 November 2009 diff hist +591 N Integer Term Rewriting Created page with 'The main idea of ITRSs is to add pre-defined constructors for integers (the integers themselves) and Booleans (true / false) and arithmetic, relational and Boolean functions like…'
- 14:56, 27 November 2009 diff hist +56 Termination Competition →Competition Categories
- 14:33, 27 November 2009 diff hist +1 News:Termination Competition 2009 in December current
- 14:32, 27 November 2009 diff hist +27 News:Termination Competition 2009 in December
- 14:30, 27 November 2009 diff hist +655 N News:Termination Competition 2009 in December 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 …'
- 14:27, 27 November 2009 diff hist +53 Termination Competition
- 14:16, 27 November 2009 diff hist +171 Termination Competition
- 11:01, 23 June 2009 diff hist +111 Termination Competition →Annual International Termination Competition
- 11:00, 23 June 2009 diff hist +78 Termination Competition →Annual International Termination Competition
- 13:08, 15 June 2009 diff hist +13 Functional Programming
- 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
- 15:42, 30 October 2008 diff hist +174 Termination Competition Steering Committee →Proposed Votes
- 15:36, 30 October 2008 diff hist -146 Termination Competition Steering Committee →Current Votes
- 15:33, 30 October 2008 diff hist +197 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:59, 30 October 2008 diff hist -300 Termination Competition Steering Committee →Proposed Votes
- 12:57, 30 October 2008 diff hist +157 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:55, 30 October 2008 diff hist +198 Termination Competition Steering Committee →Earlier Votes / Issues resolved otherwise
- 12:53, 30 October 2008 diff hist -171 Termination Competition Steering Committee →Proposed Votes
- 12:52, 30 October 2008 diff hist +259 Termination Competition Steering Committee →Earlier Votes
- 11:49, 30 October 2008 diff hist +138 Termination Competition Steering Committee →Current Votes
- 18:55, 29 October 2008 diff hist +134 Termination Competition Steering Committee →Proposed Votes
- 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)
- 14:49, 2 June 2008 diff hist +39 Termination Competition Steering Committee
- 14:49, 2 June 2008 diff hist -166 Termination Competition
- 14: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:12, 2 June 2008 diff hist -25 Termination Competition →Current Votes
- 14:11, 2 June 2008 diff hist -226 Termination Competition →Annual International Termination Competition
- 14:11, 2 June 2008 diff hist +6 Termination Competition
- 14:10, 2 June 2008 diff hist +558 Termination Competition →The Future
- 13:38, 2 June 2008 diff hist +161 WScT08-Minutes-Competition current
- 13:37, 2 June 2008 diff hist +159 WScT08-Minutes-Certification current
- 13:36, 2 June 2008 diff hist +57 WScT08 current
- 13:34, 2 June 2008 diff hist -281 WScT08 →Adjacent event(s)
- 13:34, 2 June 2008 diff hist +276 WScT08-Arrangements current
- 13:34, 2 June 2008 diff hist -2,013 WScT08 →Local Organization
- 13:34, 2 June 2008 diff hist +1,986 N WScT08-Arrangements New page: === Date/time === session times are provisional * Saturday 9 -- 12 a.m. and 2 -- 5 p.m., Room Z017 * Sunday 9 -- 12 a.m. and 2 -- 5 p.m., Room Z017 ** Workshop Dinner 7 p.m. at http:/...
- 13:33, 2 June 2008 diff hist -1,821 WScT08 →Registration
- 13:33, 2 June 2008 diff hist +1,799 N WScT08-Registration New page: Please register by writing your name here and the title of the talk you want to give, or the topic you want to discuss. (Feel free to create wiki pages for your topic, and link from here.)... current
- 13:33, 2 June 2008 diff hist -1,421 WScT08 →Program
- 13:32, 2 June 2008 diff hist +104 WScT08-Minutes-Competition
- 13:32, 2 June 2008 diff hist +920 N WScT08-Program New page: * 05/17/08, 09:30 — Christian Sternagel, [http://cl-informatik.uibk.ac.at/~griff/WScT08/beamer.pdf slides] * 05/17/08, 10:30 — René Thiemann, [http://cl-informatik.uibk.ac.at/~thiema... current
- 13:31, 2 June 2008 diff hist -2,060 WScT08 →Results (Competition)
- 13:31, 2 June 2008 diff hist +2,029 N WScT08-Minutes-Competition New page: * Unique IDs for problems in database ** Idea: short IDs that can be used in papers ** Different suggested formats (nrs are relative, e.g., 2008-1 and 2009-1 possible): *** nameOfAuthor-y...
- 13:30, 2 June 2008 diff hist -1,908 WScT08 →Results (Certification)
- 13:30, 2 June 2008 diff hist +1,876 N WScT08-Minutes-Certification New page: * Notation: ** TCG is Termination Certificate Grammar ** Rainbow is the translator from TCG, with several backends (one for Color, one for Isabelle) ** Another format and another translat...
- 13:29, 2 June 2008 diff hist +161 WScT08 →Workshop on Certified Termination WScT08
- 18:54, 31 May 2008 diff hist +376 WST09 →Certified Termination
- 08:10, 19 May 2008 diff hist +417 WScT08 →Results (Certification)
- 07:56, 19 May 2008 diff hist +4 WScT08 →Results (Certification)
- 07:55, 19 May 2008 diff hist +499 WScT08 →Results (Certification)
- 07:46, 19 May 2008 diff hist -8 WScT08 →Results (Certification)
- 07:45, 19 May 2008 diff hist -9 WScT08 →Results (Certification)
- 07:45, 19 May 2008 diff hist +876 WScT08 →Results
- 07:25, 19 May 2008 diff hist +18 WScT08 →Material
- 13:56, 18 May 2008 diff hist +149 WScT08 →Date/time
- 09:18, 18 May 2008 diff hist +19 WScT08 →Registration
- 20:36, 14 May 2008 diff hist +46 WScT08 →Location
- 20:33, 14 May 2008 diff hist +103 WScT08 →Date/time
- 10:48, 24 April 2008 diff hist +31 WScT08 →Date/time
- 22:13, 23 April 2008 diff hist +367 WScT08 →Registration/Program
- 22:00, 23 April 2008 diff hist +488 WScT08 details on local organization
- 14:55, 15 April 2008 diff hist +603 WScT
- 14:46, 15 April 2008 diff hist +74 WScT08 →Workshop on Certified Termination WScT08
- 07:55, 10 April 2008 diff hist +17 WScT08 →Options for location
- 07:42, 10 April 2008 diff hist +252 WScT08 →Registration/Program
- 07:33, 10 April 2008 diff hist +607 N News:Details for WScT08 Leipzig May 17-19 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
- 07:26, 10 April 2008 diff hist +445 WScT08 →Options for date/time
- 07:14, 10 April 2008 diff hist +138 WScT08 →Options for date/time
- 07:06, 10 April 2008 diff hist +2 WScT08 →Options for location
- 07:05, 10 April 2008 diff hist +2 WScT08 →Adjacent event(s)
- 07:05, 10 April 2008 diff hist +2 WScT08 →Options for date/time
- 07:05, 10 April 2008 diff hist +1 WScT08 →Options for location
- 07:04, 10 April 2008 diff hist +545 WScT08 →Local Organization
- 06:48, 8 April 2008 diff hist +41 Termination Portal
- 06:43, 8 April 2008 diff hist +391 News:Adding References
- 06:31, 8 April 2008 diff hist +549 N Contribute New page: = How to Contribute = If you do research on termination, then consider contributing to this web site. * to add or edit pages, you need an account. (TODO: the following is correct?) You a...
- 06:19, 8 April 2008 diff hist +45 Termination Portal
- 13:20, 31 March 2008 diff hist +495 N Tools:Matchbox 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...
- 13:13, 31 March 2008 diff hist +5 People:Johannes Waldmann current
- 13:12, 31 March 2008 diff hist +575 N People:Johannes Waldmann New page: <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page yourself after th...
- 13:08, 31 March 2008 diff hist +766 N WScT08 New page: = Workshop on Certified Termination WScT08 = This will be a working meeting, with plenty of room for discussion. * location: Leipzig, Germany * date: May 17 - 19, 2008 * local organizer:...
- 12:52, 31 March 2008 diff hist +285 N WScT New page: A special topic in termination is automatic verification of termination proofs. Upcoming events: * May 17 - 19, 2008 in Leipzig, Germany: WScT08 Previous events: * [http://color.lor...
- 12:46, 31 March 2008 diff hist +106 WST
- 12:27, 31 March 2008 diff hist +675 N WST09 New page: The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany. * local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig * venue (to be confirmed): http://www.mml...
- 12:14, 31 March 2008 diff hist -4 WST
- 12:14, 31 March 2008 diff hist +91 WST
- 11:58, 31 March 2008 diff hist +50 What domain name?
- 11:55, 31 March 2008 diff hist -50 What domain name?
- 11:54, 31 March 2008 diff hist +65 N News:Domain name New page: {{News |text=What domain name? (Poll) |date=March 31, 2008 }}
- 11:51, 31 March 2008 diff hist 0 m What domain name? News:What domain name? moved to What domain name?
- 11:51, 31 March 2008 diff hist +31 N News:What domain name? News:What domain name? moved to What domain name? current
- 11:47, 31 March 2008 diff hist +269 N What domain name? New page: We want to have a domain name for this web site. What is your preference? Mark it here. (everything like termination.* seems already taken) * termination-portal.org * termination-live.or...