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

<!--
   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
}}