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