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