User contributions
From Termination-Portal.org
Jump to navigationJump to search- 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