View source for News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps

From Termination-Portal.org

← News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps

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 [http://cl-informatik.uibk.ac.at/events/wst-2016/ Workshop on Termination in 2016] is part of [http://cl-informatik.uibk.ac.at/events/cla-2016/ Computational Logic in the Alps]. |date= Sep 5-7, 2016 }}

Return to News:Workshop on Termination 2016: September 5-7 at Computational Logic in the Alps.