News:Termination Competition 2021: Difference between revisions
Created page with "{{News |text=The Termination Competition 2021 will be affiliated with CADE. |date=December, 2020 }}" |
No edit summary |
||
| 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.