User contributions
From Termination-Portal.org
Jump to navigationJump to search- 17:02, 17 August 2023 diff hist +308 19th International Workshop on Termination underlined names and added web sites current
- 18:46, 23 May 2023 diff hist +2 Termination Competition 2023 Changed Deadline for WST ABstract
- 14:09, 7 November 2022 diff hist +2 Termination Competition 2022 Final Result current
- 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