News:Termination Competition 2020

From Termination-Portal.org
Revision as of 03:31, 23 June 2020 by Akihisa Yamada (talk | contribs) (editing news entry with a link to the TermCOMP web interface)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


June 19 - July 2, 2020

It's running at Status. See Termination Competition 2020 for details.