User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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
- 09:55, 3 July 2020 diff hist -9 Termination Competition 2020 →Status: final result current
- 04:12, 24 June 2020 diff hist +67 Termination Competition 2020 →Status: Initial result
- 01:55, 24 June 2020 diff hist +127 Termination Competition 2020 →Registration: Refer to TPDB repo for submission instruction