News:Termination Competition 2020: Difference between revisions
News entry for TermComp 2020 |
editing news entry with a link to the TermCOMP web interface |
||
| Line 12: | Line 12: | ||
{{News | {{News | ||
|text=See [[Termination Competition 2020]]. | |text=It's running at [http://termcomp2020.herokuapp.com/ Status]. | ||
See [[Termination Competition 2020]] for details. | |||
|date=June 19 - July 2, 2020 | |date=June 19 - July 2, 2020 | ||
}} | }} | ||