User contributions for Giesl

8 May 2018

• 10:5410:54, 8 May 2018 diff hist −4 m Termination Competition →Annual International Termination Competition
• 10:5210:52, 8 May 2018 diff hist −1 m Termination Competition 2018 No edit summary

27 April 2018

• 09:2509:25, 27 April 2018 diff hist −55 Termination Competition 2017 No edit summary

10 April 2018

• 07:3507:35, 10 April 2018 diff hist +13 Termination Competition 2017 added Christian and updated Akihisa's affiliation

7 August 2017

• 21:0921:09, 7 August 2017 diff hist +257 Nm User talk:Christoph Walther Welcome! current

17 July 2017

• 11:2011:20, 17 July 2017 diff hist −55 m Termination Competition 2017 removed Fred from the SC and changed one occurrence of 2016 to 2017

9 July 2016

• 12:2812:28, 9 July 2016 diff hist +124 m Termination and Complexity Competition 2016 →Competition Procedure

23 July 2015

• 09:0809:08, 23 July 2015 diff hist +256 Nm User talk:Akihisa Yamada Welcome! current

30 June 2015

• 21:5121:51, 30 June 2015 diff hist +256 Nm User talk:Sabel Welcome! current

29 June 2015

• 08:5708:57, 29 June 2015 diff hist +311 Termination Competition 2015 No edit summary

31 July 2014

• 17:0717:07, 31 July 2014 diff hist +274 Termination Competition 2014 Questionnaire →5. What were the most positive aspects of your experience running your competition on StarExec?
• 17:0617:06, 31 July 2014 diff hist +252 Termination Competition 2014 Questionnaire →6. What were the negative aspects?

17 June 2014

• 16:0016:00, 17 June 2014 diff hist +142 Integer Term Rewriting No edit summary current
• 15:5815:58, 17 June 2014 diff hist +41 Integer Term Rewriting No edit summary

26 May 2014

• 11:5911:59, 26 May 2014 diff hist +174 Termination Competition 2014 →Competition Categories and Awards
• 11:5811:58, 26 May 2014 diff hist −153 Termination Competition 2014 →Competition Procedure
• 11:5811:58, 26 May 2014 diff hist +153 Termination Competition 2014 →Competition Procedure
• 11:3211:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →Registration info (tentative)
• 11:3211:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →Competition procedure
• 11:3211:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →New categories
• 11:3211:32, 26 May 2014 diff hist 0 Termination Competition 2014 →Competition procedure
• 11:2611:26, 26 May 2014 diff hist +3 m Termination Competition 2014 →Contact
• 11:2611:26, 26 May 2014 diff hist +1 m Termination Competition 2014 →Technical Detail
• 11:2511:25, 26 May 2014 diff hist +6 m Termination Competition 2014 →Registration info (tentative)
• 11:2411:24, 26 May 2014 diff hist +1 m Termination Competition 2014 →Registration info (tentative)
• 11:2411:24, 26 May 2014 diff hist +97 Termination Competition 2014 →Registration info (tentative)
• 11:1711:17, 26 May 2014 diff hist +27 m Termination Competition 2014 →Committees
• 11:1611:16, 26 May 2014 diff hist +26 Termination Competition 2014 →Competition procedure
• 11:1511:15, 26 May 2014 diff hist 0 m Termination Competition 2014 →Competition procedure
• 11:1511:15, 26 May 2014 diff hist 0 Termination Competition 2014 →Competition procedure
• 11:1311:13, 26 May 2014 diff hist +3 Termination Competition 2014 →Competition procedure
• 11:1311:13, 26 May 2014 diff hist −8 Termination Competition 2014 →Competition procedure
• 11:1211:12, 26 May 2014 diff hist −7 Termination Competition 2014 →Competition procedure
• 11:1211:12, 26 May 2014 diff hist +28 Termination Competition 2014 →Competition procedure
• 11:0911:09, 26 May 2014 diff hist 0 Termination Competition 2014 →New categories
• 11:0911:09, 26 May 2014 diff hist −3 Termination Competition 2014 →Competition Categories and Awards
• 11:0811:08, 26 May 2014 diff hist +6 Termination Competition 2014 →Competition Categories and Awards
• 11:0711:07, 26 May 2014 diff hist +6 Termination Competition 2014 →Competition Categories and Awards

20 May 2014

• 08:2808:28, 20 May 2014 diff hist +255 Nm User talk:Albert Welcome! current

10 May 2013

• 14:5214:52, 10 May 2013 diff hist +358 Termination Competition 2013 No edit summary

6 July 2012

• 11:5611:56, 6 July 2012 diff hist +153 m Termination Competition →History of Termination Competitions
• 11:5311:53, 6 July 2012 diff hist +102 m Termination Competition →History of Termination Competitions

17 December 2009

• 11:2311:23, 17 December 2009 diff hist +202 m Termination Competition Added link to result page of termination competition

15 July 2009

• 07:4907:49, 15 July 2009 diff hist +28 Termination Competition Steering Committee No edit summary

23 June 2009

• 07:3307:33, 23 June 2009 diff hist −4 Termination Competition Steering Committee No edit summary
• 07:3207:32, 23 June 2009 diff hist −87 Termination Competition Steering Committee No edit summary
• 07:3207:32, 23 June 2009 diff hist −56 Termination Competition Steering Committee No edit summary

10 April 2008

• 08:1108:11, 10 April 2008 diff hist +123 WST No edit summary
• 08:0908:09, 10 April 2008 diff hist −6 People:Jürgen Giesl No edit summary
• 08:0808:08, 10 April 2008 diff hist +91 m People:Jürgen Giesl No edit summary