View source for News:Details for WScT08 Leipzig May 17-19

From Termination-Portal.org

← News:Details for WScT08 Leipzig May 17-19

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=Details for the [[WScT08| Workshop on Certified Termination]] in Leipzig. |date=May 17 - May 19, 2008 }}

Return to News:Details for WScT08 Leipzig May 17-19.