User contributions
From Termination-Portal.org
Jump to navigationJump to search- 15:19, 9 June 2022 diff hist +13 Termination Competition 2022
- 15:18, 9 June 2022 diff hist +147 Termination Competition →History of Termination Competitions
- 14:15, 2 June 2022 diff hist +93 Termination Competition 2022
- 16:18, 1 June 2022 diff hist 0 Termination Competition 2022
- 16:16, 1 June 2022 diff hist +31 Termination Competition 2022
- 16:10, 1 June 2022 diff hist +2 Termination Competition 2022
- 16:09, 1 June 2022 diff hist +160 m Termination Competition
- 13:12, 19 May 2021 diff hist +20 Termination Competition 2021 →Steering Committee
- 13:11, 19 May 2021 diff hist +20 Termination Competition Akihisa is the new chair, Albert's affiliation has changed
- 06:55, 17 May 2021 diff hist +4 m Termination Competition 2021 Date for Presentation
- 21:38, 11 November 2020 diff hist -1 Termtools current
- 21:20, 11 November 2020 diff hist +43 Termtools
- 21:12, 11 November 2020 diff hist +185 Termtools
- 15:49, 2 July 2020 diff hist +1 m Termination Competition
- 09:31, 15 June 2020 diff hist -12 m Termination Competition 2020 →Dates
- 16:09, 15 May 2020 diff hist +12 Termination Competition 2020 →Dates
- 12:33, 9 May 2020 diff hist +78 Transition Systems current
- 12:12, 9 May 2020 diff hist +3 Termination Competition →Competition Categories
- 12:11, 9 May 2020 diff hist +1 Termination Competition →Upcoming Competitions
- 12:11, 9 May 2020 diff hist -71 Termination Competition →Upcoming Competitions
- 12:09, 9 May 2020 diff hist +50 m Termination Competition 2020
- 10:30, 21 October 2019 diff hist +203 Termination Competition Steering Committee current
- 10:30, 21 October 2019 diff hist -161 Termination Competition Steering Committee
- 10:28, 21 October 2019 diff hist +43 Termination Competition →Competition Categories
- 12:03, 3 July 2019 diff hist +255 Nm User talk:Davidkor Welcome! current
- 10:22, 14 October 2018 diff hist -5 Termination-Portal.org:About →Impressum current
- 12:42, 10 June 2018 diff hist +1 Termination Competition 2018 Deadline Extension
- 10:54, 8 May 2018 diff hist -4 m Termination Competition →Annual International Termination Competition
- 10:52, 8 May 2018 diff hist -1 m Termination Competition 2018
- 09:25, 27 April 2018 diff hist -55 Termination Competition 2017
- 07:35, 10 April 2018 diff hist +13 Termination Competition 2017 added Christian and updated Akihisa's affiliation
- 21:09, 7 August 2017 diff hist +257 Nm User talk:Christoph Walther Welcome! current
- 11:20, 17 July 2017 diff hist -55 m Termination Competition 2017 removed Fred from the SC and changed one occurrence of 2016 to 2017
- 12:28, 9 July 2016 diff hist +124 m Termination and Complexity Competition 2016 →Competition Procedure
- 09:08, 23 July 2015 diff hist +256 Nm User talk:Akihisa Yamada Welcome! current
- 21:51, 30 June 2015 diff hist +256 Nm User talk:Sabel Welcome! current
- 08:57, 29 June 2015 diff hist +311 Termination Competition 2015
- 17: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:06, 31 July 2014 diff hist +252 Termination Competition 2014 Questionnaire →6. What were the negative aspects?
- 16:00, 17 June 2014 diff hist +142 Integer Term Rewriting current
- 15:58, 17 June 2014 diff hist +41 Integer Term Rewriting
- 11:59, 26 May 2014 diff hist +174 Termination Competition 2014 →Competition Categories and Awards
- 11:58, 26 May 2014 diff hist -153 Termination Competition 2014 →Competition Procedure
- 11:58, 26 May 2014 diff hist +153 Termination Competition 2014 →Competition Procedure
- 11:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →Registration info (tentative)
- 11:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →Competition procedure
- 11:32, 26 May 2014 diff hist 0 m Termination Competition 2014 →New categories
- 11:32, 26 May 2014 diff hist 0 Termination Competition 2014 →Competition procedure
- 11:26, 26 May 2014 diff hist +3 m Termination Competition 2014 →Contact
- 11:26, 26 May 2014 diff hist +1 m Termination Competition 2014 →Technical Detail
- 11:25, 26 May 2014 diff hist +6 m Termination Competition 2014 →Registration info (tentative)
- 11:24, 26 May 2014 diff hist +1 m Termination Competition 2014 →Registration info (tentative)
- 11:24, 26 May 2014 diff hist +97 Termination Competition 2014 →Registration info (tentative)
- 11:17, 26 May 2014 diff hist +27 m Termination Competition 2014 →Committees
- 11:16, 26 May 2014 diff hist +26 Termination Competition 2014 →Competition procedure
- 11:15, 26 May 2014 diff hist 0 m Termination Competition 2014 →Competition procedure
- 11:15, 26 May 2014 diff hist 0 Termination Competition 2014 →Competition procedure
- 11:13, 26 May 2014 diff hist +3 Termination Competition 2014 →Competition procedure
- 11:13, 26 May 2014 diff hist -8 Termination Competition 2014 →Competition procedure
- 11:12, 26 May 2014 diff hist -7 Termination Competition 2014 →Competition procedure
- 11:12, 26 May 2014 diff hist +28 Termination Competition 2014 →Competition procedure
- 11:09, 26 May 2014 diff hist 0 Termination Competition 2014 →New categories
- 11:09, 26 May 2014 diff hist -3 Termination Competition 2014 →Competition Categories and Awards
- 11:08, 26 May 2014 diff hist +6 Termination Competition 2014 →Competition Categories and Awards
- 11:07, 26 May 2014 diff hist +6 Termination Competition 2014 →Competition Categories and Awards
- 08:28, 20 May 2014 diff hist +255 Nm User talk:Albert Welcome! current
- 14:52, 10 May 2013 diff hist +358 Termination Competition 2013
- 11:56, 6 July 2012 diff hist +153 m Termination Competition →History of Termination Competitions
- 11:53, 6 July 2012 diff hist +102 m Termination Competition →History of Termination Competitions
- 11:23, 17 December 2009 diff hist +202 m Termination Competition Added link to result page of termination competition
- 07:49, 15 July 2009 diff hist +28 Termination Competition Steering Committee
- 07:33, 23 June 2009 diff hist -4 Termination Competition Steering Committee
- 07:32, 23 June 2009 diff hist -87 Termination Competition Steering Committee
- 07:32, 23 June 2009 diff hist -56 Termination Competition Steering Committee
- 08:11, 10 April 2008 diff hist +123 WST
- 08:09, 10 April 2008 diff hist -6 People:Jürgen Giesl current
- 08:08, 10 April 2008 diff hist +91 m People:Jürgen Giesl