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