User contributions
From Termination-Portal.org
Jump to navigationJump to search- 09:25, 26 January 2024 diff hist -56 Termination Competition 2024 →Competition Categories: dropped "discussed ..."
- 08:36, 12 September 2023 diff hist +140 Termination Competition →Organization: new organization
- 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
- 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
- 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 :)
