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.
10 July 2013
- 11:1611:16, 10 July 2013 diff hist −4 WST2013 →Program Committee
- 09:1209:12, 10 July 2013 diff hist +566 N News:Workshop on Termination 2013: August 28 - 31 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..." current
- 09:0809:08, 10 July 2013 diff hist −200 WST No edit summary
- 09:0709:07, 10 July 2013 diff hist +1 WST No edit summary
- 09:0709:07, 10 July 2013 diff hist −6 WST No edit summary
- 09:0609:06, 10 July 2013 diff hist +551 WST2013 →Program Committee
- 09:0309:03, 10 July 2013 diff hist +301 WST2013 No edit summary
- 08:5808:58, 10 July 2013 diff hist +3,924 N WST2013 Created page with " The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical o..."
- 08:5408:54, 10 July 2013 diff hist −63 WST No edit summary
12 February 2013
- 13:2913:29, 12 February 2013 diff hist +333 N Termination Competition 2013 Created page with "The Termination Competition 2013 will be run during the [http://www.win.tue.nl/rdp2013/ RDP 2013 Conference] (June 23 - June 28). The competition will be hosted on the [http:..."
- 13:2713:27, 12 February 2013 diff hist −8 Termination Competition →Upcoming Competitions
- 13:2513:25, 12 February 2013 diff hist −10 WST No edit summary
22 January 2013
- 22:0422:04, 22 January 2013 diff hist +85 WST No edit summary
27 June 2012
- 09:5009:50, 27 June 2012 diff hist +27 Contribute →How to Contribute current
- 07:1407:14, 27 June 2012 diff hist −36 Tools:HOT No edit summary current
26 June 2012
- 18:3018:30, 26 June 2012 diff hist +825 N Tools:HOT 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..."
- 18:2718: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:2518: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:1918: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:1118:11, 26 June 2012 diff hist +43 Termination Competition 2012 No edit summary current
25 June 2012
- 17:4117:41, 25 June 2012 diff hist 0 Star Exec →Extra Features
- 17:4117:41, 25 June 2012 diff hist +46 Star Exec →Extra Features
24 June 2012
- 16:4316:43, 24 June 2012 diff hist 0 Star Exec Test No edit summary current
- 16:3216:32, 24 June 2012 diff hist +302 Star Exec Test No edit summary
- 16:2616:26, 24 June 2012 diff hist +211 Star Exec Test No edit summary
- 14:1614:16, 24 June 2012 diff hist 0 Star Exec Test No edit summary
- 14:1314:13, 24 June 2012 diff hist 0 Star Exec Test No edit summary
- 14:1014:10, 24 June 2012 diff hist +881 Star Exec Test No edit summary
- 13:5913:59, 24 June 2012 diff hist +1,489 Star Exec Test No edit summary
- 13:2413: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:4612:46, 24 June 2012 diff hist +94 Star Exec No edit summary
21 June 2012
- 22:2122:21, 21 June 2012 diff hist +255 Star Exec →Running the Competition
- 22:1822:18, 21 June 2012 diff hist +85 Star Exec →Extra Features
13 June 2012
- 08:3208:32, 13 June 2012 diff hist +56 Star Exec No edit summary
- 08:3008:30, 13 June 2012 diff hist +547 Star Exec No edit summary
- 08:2108:21, 13 June 2012 diff hist +900 Star Exec No edit summary
12 June 2012
- 13:0413: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:5712:57, 12 June 2012 diff hist +101 Termination Competition →Upcoming Competition
5 April 2012
- 07:3107: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:2107:21, 5 April 2012 diff hist +29 Termination Competition →Upcoming Competition
- 07:2007:20, 5 April 2012 diff hist +25 Termination Competition →Upcoming Competition
- 07:1807:18, 5 April 2012 diff hist −85 Termination Competition →Upcoming Competition
12 December 2011
- 11:5911:59, 12 December 2011 diff hist +91 Termination Competition →History of Termination Competitions
- 11:5811:58, 12 December 2011 diff hist −58 Termination Competition →History of Termination Competitions
- 11:5711:57, 12 December 2011 diff hist +103 Termination Competition →History of Termination Competitions
- 11:5611:56, 12 December 2011 diff hist −3 Termination Competition →History of Termination Competitions
- 11:5611:56, 12 December 2011 diff hist −39 Termination Competition →History of Termination Competitions
- 11:4611:46, 12 December 2011 diff hist +16 TPDB →Data