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.