News:Termination Competition 2021

From Termination-Portal.org
Revision as of 18:28, 20 December 2020 by Ffrohn (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

December, 2020

The Termination Competition 2021 will be affiliated with CADE.