User contributions for J.waldmann

8 April 2008

• 06:1906:19, 8 April 2008 diff hist +45 Termination Portal No edit summary

31 March 2008

• 13:2013: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:1313:13, 31 March 2008 diff hist +5 People:Johannes Waldmann No edit summary current
• 13:1213: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:0813: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:5212: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:4612:46, 31 March 2008 diff hist +106 WST No edit summary
• 12:2712: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:1412:14, 31 March 2008 diff hist −4 WST No edit summary
• 12:1412:14, 31 March 2008 diff hist +91 WST No edit summary
• 11:5811:58, 31 March 2008 diff hist +50 What domain name? No edit summary
• 11:5511:55, 31 March 2008 diff hist −50 What domain name? No edit summary
• 11:5411:54, 31 March 2008 diff hist +65 N News:Domain name New page: {{News |text=What domain name? (Poll) |date=March 31, 2008 }}
• 11:5111:51, 31 March 2008 diff hist +31 N News:What domain name? News:What domain name? moved to What domain name? current
• 11:5111:51, 31 March 2008 diff hist 0 m What domain name? News:What domain name? moved to What domain name?
• 11:4711: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...