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.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Termination_Competition_2020&oldid=1853"