User contributions for J.waldmann
Results for J.waldmann talk block log uploads logs
A user with 577 edits. Account created on 29 March 2008.
2 June 2008
- 13:3113: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:3013:30, 2 June 2008 diff hist −1,908 WScT08 →Results (Certification)
- 13:3013: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:2913:29, 2 June 2008 diff hist +161 WScT08 →Workshop on Certified Termination WScT08
31 May 2008
- 18:5418:54, 31 May 2008 diff hist +376 WST09 →Certified Termination
19 May 2008
- 08:1008:10, 19 May 2008 diff hist +417 WScT08 →Results (Certification)
- 07:5607:56, 19 May 2008 diff hist +4 WScT08 →Results (Certification)
- 07:5507:55, 19 May 2008 diff hist +499 WScT08 →Results (Certification)
- 07:4607:46, 19 May 2008 diff hist −8 WScT08 →Results (Certification)
- 07:4507:45, 19 May 2008 diff hist −9 WScT08 →Results (Certification)
- 07:4507:45, 19 May 2008 diff hist +876 WScT08 →Results
- 07:2507:25, 19 May 2008 diff hist +18 WScT08 →Material
18 May 2008
- 13:5613:56, 18 May 2008 diff hist +149 WScT08 →Date/time
- 09:1809:18, 18 May 2008 diff hist +19 WScT08 →Registration
14 May 2008
- 20:3620:36, 14 May 2008 diff hist +46 WScT08 →Location
- 20:3320:33, 14 May 2008 diff hist +103 WScT08 →Date/time
24 April 2008
- 10:4810:48, 24 April 2008 diff hist +31 WScT08 →Date/time
23 April 2008
- 22:1322:13, 23 April 2008 diff hist +367 WScT08 →Registration/Program
- 22:0022:00, 23 April 2008 diff hist +488 WScT08 details on local organization
15 April 2008
- 14:5514:55, 15 April 2008 diff hist +603 WScT No edit summary
- 14:4614:46, 15 April 2008 diff hist +74 WScT08 →Workshop on Certified Termination WScT08
10 April 2008
- 07:5507:55, 10 April 2008 diff hist +17 WScT08 →Options for location
- 07:4207:42, 10 April 2008 diff hist +252 WScT08 →Registration/Program
- 07:3307: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:2607:26, 10 April 2008 diff hist +445 WScT08 →Options for date/time
- 07:1407:14, 10 April 2008 diff hist +138 WScT08 →Options for date/time
- 07:0607:06, 10 April 2008 diff hist +2 WScT08 →Options for location
- 07:0507:05, 10 April 2008 diff hist +2 WScT08 →Adjacent event(s)
- 07:0507:05, 10 April 2008 diff hist +2 WScT08 →Options for date/time
- 07:0507:05, 10 April 2008 diff hist +1 WScT08 →Options for location
- 07:0407:04, 10 April 2008 diff hist +545 WScT08 →Local Organization
8 April 2008
- 06:4806:48, 8 April 2008 diff hist +41 Termination Portal No edit summary
- 06:4306:43, 8 April 2008 diff hist +391 News:Adding References No edit summary
- 06:3106: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: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...