User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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...