User contributions
From Termination-Portal.org
Jump to navigationJump to search- 08:36, 12 September 2023 diff hist +140 Termination Competition →Organization: new organization current
- 08:32, 12 September 2023 diff hist -4 Termination Competition 2023 →Status current
- 13:32, 15 August 2023 diff hist +21 m 19th International Workshop on Termination →Program
- 13:29, 15 August 2023 diff hist +93 19th International Workshop on Termination links
- 12:18, 14 August 2023 diff hist +19 m Termination Competition 2023 →Competition Procedure
- 11:12, 14 August 2023 diff hist +53 19th International Workshop on Termination map link
- 11:05, 14 August 2023 diff hist +9 19th International Workshop on Termination registration is not open
- 09:30, 14 August 2023 diff hist -98 19th International Workshop on Termination →Program
- 09:22, 14 August 2023 diff hist +3,228 19th International Workshop on Termination Program
- 07:51, 14 August 2023 diff hist +769 19th International Workshop on Termination →Keynote Speaker
- 07:46, 14 August 2023 diff hist +7 m 19th International Workshop on Termination →Important Dates
- 09:01, 19 July 2023 diff hist +61 Termination Competition 2023 link to status
- 07:47, 18 July 2023 diff hist -135 Termination Competition →Upcoming Competitions
- 12:48, 20 June 2023 diff hist +95 19th International Workshop on Termination registration
- 04:51, 16 June 2023 diff hist +35 Termination Portal →Recent News current
- 02:47, 16 June 2023 diff hist +1,333 19th International Workshop on Termination Accepted papers
- 16:19, 10 June 2023 diff hist +2 19th International Workshop on Termination →Important Dates
- 09:44, 30 May 2023 diff hist +31 19th International Workshop on Termination →Important Dates
- 02:55, 17 May 2023 diff hist +70 19th International Workshop on Termination link to Obergurgl
- 02:52, 17 May 2023 diff hist +109 19th International Workshop on Termination keynote speaker
- 10:28, 15 May 2023 diff hist +6,502 N Termination Competition 2023 Created page with "The Termination and Complexity Competition (termCOMP) 2023 will be affiliated with WST 2023. The competition will be run on the [http://www.starexec.org/ StarExec..."
- 08:15, 19 April 2023 diff hist +44 19th International Workshop on Termination
- 06:18, 19 April 2023 diff hist +673 19th International Workshop on Termination Submission guidelines
- 06:09, 19 April 2023 diff hist -26 19th International Workshop on Termination →Important Dates
- 06:03, 19 April 2023 diff hist +398 19th International Workshop on Termination →Program Committee
- 05:55, 19 April 2023 diff hist +29 19th International Workshop on Termination →Program Committee
- 05:54, 19 April 2023 diff hist +45 19th International Workshop on Termination →Important Dates
- 09:02, 14 April 2023 diff hist +34 19th International Workshop on Termination →Program Committee
- 15:42, 12 April 2023 diff hist +38 19th International Workshop on Termination →Program Committee
- 15:40, 12 April 2023 diff hist +11 19th International Workshop on Termination
- 08:06, 12 April 2023 diff hist +31 19th International Workshop on Termination →Program Committee
- 07:42, 11 April 2023 diff hist +46 19th International Workshop on Termination →Program Committee
- 07:29, 11 April 2023 diff hist +42 19th International Workshop on Termination →Program Committee
- 01:14, 10 April 2023 diff hist +56 N WST2023 Redirected page to 19th International Workshop on Termination current Tag: New redirect
- 01:03, 10 April 2023 diff hist 0 19th International Workshop on Termination →Program Committee
- 11:23, 8 April 2023 diff hist +112 19th International Workshop on Termination →Program Committee
- 08:45, 25 January 2023 diff hist +49 Termination Portal →Recent News
- 08:43, 25 January 2023 diff hist +13 People:Akihisa Yamada update affiliation current
- 08:25, 25 January 2023 diff hist +67 19th International Workshop on Termination location information
- 02:07, 16 January 2023 diff hist -37 19th International Workshop on Termination
- 01:56, 16 January 2023 diff hist +3 19th International Workshop on Termination
- 01:37, 16 January 2023 diff hist +3,656 N 19th International Workshop on Termination Created page with "==Background== The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this int..."
- 01:36, 16 January 2023 diff hist +90 WST added 2023 link current
- 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
- 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
- 01:45, 24 June 2020 diff hist -544 Termination Competition 2020 →Registration: Refer to the GitHub page for registration
- 01:03, 24 June 2020 diff hist -44 Termination Competition 2020 →Contact: clearly state "ask termtools"
- 00:59, 24 June 2020 diff hist +109 Termination Competition Made Organization section
- 03:31, 23 June 2020 diff hist +73 News:Termination Competition 2020 editing news entry with a link to the TermCOMP web interface current
- 14:01, 22 June 2020 diff hist +58 Termination Competition 2020 Link to competition web
- 02:08, 18 June 2020 diff hist +173 TPDB →Syntax and semantics specification: Link to new TPDB current
- 01:59, 18 June 2020 diff hist +56 TPDB →Data: New TPDB repo
- 09:56, 12 June 2020 diff hist -20 Termination Competition →History of Termination Competitions: new url for 2018 competition
- 09:55, 12 June 2020 diff hist -18 Termination Competition 2018 →Status: new url for 2018 competition current
- 09:26, 12 June 2020 diff hist -20 Termination Competition →History of Termination Competitions: new result url
- 09:25, 12 June 2020 diff hist -19 Termination Competition 2019 →Result: new url current
- 06:22, 2 June 2020 diff hist +573 N News:Termination Competition 2020 News entry for TermComp 2020
- 08:01, 9 May 2020 diff hist -2 Termination Competition 2020
- 07:57, 9 May 2020 diff hist +7,270 N Termination Competition 2020 Created page with "In 2020, the Termination and Complexity Competition will be affiliated with [https://ijcar2020.org/ IJCAR]. The competition will be run on the [http://www.starexec.org/ StarE..."
- 01:49, 21 May 2019 diff hist +244 Termination Competition →History of Termination Competitions: added 2019 in history, added results
- 05:20, 1 April 2019 diff hist +77 Termination Competition 2019 added result link
- 14:11, 23 February 2019 diff hist 0 Termination Competition 2019 fixed penalty from -40 to -10
- 08:20, 31 January 2019 diff hist -8 m Termination Competition 2019 rem'd the
- 10:53, 30 January 2019 diff hist -4 Termination Competition →Upcoming Competitions: fixed date
- 10:52, 30 January 2019 diff hist -13 m Termination Competition 2019 →Registration: configuration IDs are wanted
- 10:50, 30 January 2019 diff hist -13 m Termination Competition 2019 tool registration --> tool submission
- 05:48, 30 January 2019 diff hist +19 m People:Akihisa Yamada updated my affiliation
- 05:41, 30 January 2019 diff hist -1 m Termination Competition 2019 minor
- 05:32, 30 January 2019 diff hist +7,105 Termination Competition 2019 added details of TermComp 2019
- 12:52, 15 July 2018 diff hist -73 Termination Competition 2018 →Status: result
- 10:19, 13 July 2018 diff hist +59 Termination Competition 2018 added live link
- 06:09, 18 June 2018 diff hist +93 Termination Competition 2018 link to registered participants
- 07:47, 12 June 2018 diff hist +976 Termination Competition 2018 added award information
- 08:48, 11 June 2018 diff hist +42 Termination Competition 2017 →Committees: reverted my affiliation current
- 13:56, 7 June 2018 diff hist +55 People:Akihisa Yamada
- 13:56, 7 June 2018 diff hist -54 People:Akihisa Yamada
- 13:55, 7 June 2018 diff hist +21 People:Akihisa Yamada updating my personal info
- 13:42, 7 June 2018 diff hist +60 Termination Competition 2018 →Registration: simplifying the procedure
- 07:17, 4 June 2018 diff hist +626 N News:Termination and Complexity Competition 2018 News entry for TermComp 2018 current
- 01:55, 31 May 2018 diff hist -216 Termination Competition 2018 →Registration: explained registration proc.
- 07:44, 14 May 2018 diff hist +99 Termination Competition 2018 →Competition Categories: Info on new category proposals.
- 14:37, 7 May 2018 diff hist 0 Termination Competition 2018 typo
- 14:36, 7 May 2018 diff hist +6,407 N Termination Competition 2018 page for TermComp 2018
- 14:22, 7 May 2018 diff hist 0 Termination Competition →Upcoming Competitions
- 03:10, 18 April 2018 diff hist +64 Termination Competition updated SCs
- 07:30, 3 August 2017 diff hist -575 Termination Competition Certified Categories Competition Updated for 2017 current
- 14:43, 28 July 2017 diff hist +74 Termination Competition 2017 →Changes with respect to 2016
- 11:31, 19 July 2017 diff hist 0 Termination Competition 2017 →Committees
- 11:30, 19 July 2017 diff hist -54 Termination Competition →Competition Categories
- 11:26, 19 July 2017 diff hist +31 Termination Competition →Upcoming Competitions
- 11:22, 19 July 2017 diff hist +644 N News:Termination and Complexity Competition 2017 Termination and Complexity Competition 2017 current
- 14:25, 28 July 2015 diff hist -48 Termination Competition 2015 Registration →Benchmark submissions
- 10:36, 25 July 2015 diff hist +113 Termination Competition 2015 Registration →Benchmark submissions
- 10:02, 23 July 2015 diff hist +29 People:Akihisa Yamada
- 10:00, 23 July 2015 diff hist +559 N People:Akihisa Yamada Created page with " <!-- Please fill in the data so that you can be added to some default categories and a simple user page can be created. You may extend that user page you..."
- 09:53, 23 July 2015 diff hist +223 Termination Competition 2015 Registration →Benchmark submissions
