View source for News:Termination and Complexity Competition 2016

From Termination-Portal.org

← News:Termination and Complexity Competition 2016

You do not have permission to edit this page, for the following reason:

---

You can view and copy the source of this page.

<!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax here to link to articles, highlight text, ... Please add some date to the news entry (e.g. today's date for current news, a time period for the competition, ....). Example: |text = The [[WST]] takes place in [http://en.wikipedia.org/wiki/Juneau Juneau] this year! |date = Sep 8 - Nov 1, 2008 --> {{News |text=The [[Termination and Complexity Competition 2016]] will be affiliated with the [http://cl-informatik.uibk.ac.at/events/wst-2016/ Workshop on Termination in 2016]. |date=Sep 5 or Sep 6, 2016 }}

Return to News:Termination and Complexity Competition 2016.