User contributions
From Termination-Portal.org
Jump to navigationJump to search- 11:28, 26 July 2022 diff hist +62 Termination Competition 2022 link to the first run
- 06:26, 19 July 2022 diff hist +781 Termination Competition 2022 Details of the ranking
- 09:30, 18 July 2022 diff hist +16 Termination Competition 2022 Changed final run date to 7 Aug. to avoid FLoC excursion day
- 02:15, 21 June 2022 diff hist +25 Termination Competition 2022 →Dates: added (optional) and <s> old date
- 02:12, 21 June 2022 diff hist -3 Termination Competition 2022 number of medals = 5
- 06:00, 17 June 2022 diff hist +14 Termination Competition Florian, you deleted you name :)
- 05:22, 16 June 2022 diff hist +180 WST Added WST 2022
- 01:09, 15 June 2022 diff hist +2 m Termination Portal formatting
- 01:08, 15 June 2022 diff hist +33 Termination Portal →Recent News: Link directly to termCOMP 2022
- 10:12, 1 June 2022 diff hist -60 m Termination Competition 2022 garbage
- 09:59, 1 June 2022 diff hist +180 Termination Competition 2022
- 09:53, 1 June 2022 diff hist +48 Termination Competition 2022 →Dates: date for WST title and abstract
- 10:56, 30 May 2022 diff hist +7,075 N Termination Competition 2022 Created page with "The Termination and Complexity Competition (termCOMP) 2022 will be affiliated to [https://easychair.org/smart-program/FLoC2022/IJCAR-index.html IJCAR 2022] and takes part in [..."
- 06:44, 14 July 2021 diff hist -62 Termination Competition 2021 Link to the result (should have done earlier!!) current
- 10:24, 11 May 2021 diff hist +133 Termination Competition 2020 into history
- 10:17, 11 May 2021 diff hist +13 Termination Competition 2021 →Contact: updated termtools address
- 10:15, 11 May 2021 diff hist +9 Termination Competition 2021 →Steering Committee: affiliation
- 10:13, 11 May 2021 diff hist +15 Termination Competition →Upcoming Competitions
- 09:37, 11 May 2021 diff hist +8 Termination Competition updated affiliation
- 08:49, 19 April 2021 diff hist +35 Termination Competition 2021 →Dates