Difference between revisions of "News:Termination Competition 2021"
From Termination-Portal.org
Jump to navigationJump to search (Created page with "{{News |text=The Termination Competition 2021 will be affiliated with CADE. |date=December, 2020 }}") |
|||
| Line 1: | Line 1: | ||
{{News | {{News | ||
| − | |text=The [[Termination_Competition_2021|Termination Competition 2021]] will be affiliated with CADE. | + | |text=The [[Termination_Competition_2021|Termination Competition 2021]] will be affiliated with [http://www.cs.cmu.edu/~mheule/CADE28/ CADE]. |
|date=December, 2020 | |date=December, 2020 | ||
}} | }} | ||
Latest revision as of 18:28, 20 December 2020
December, 2020
The Termination Competition 2021 will be affiliated with CADE.
