http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=WScT08-Program 2026-06-09T19:57:16Z Revision history for this page on the wiki MediaWiki 1.34.2 http://termination-portal.org/mediawiki/index.php?title=WScT08-Program&diff=502&oldid=prev 2008-06-02T13:32:13Z

<p>New page: * 05/17/08, 09:30 — Christian Sternagel, [http://cl-informatik.uibk.ac.at/~griff/WScT08/beamer.pdf slides] * 05/17/08, 10:30 — René Thiemann, [http://cl-informatik.uibk.ac.at/~thiema...</p> <p><b>New page</b></p><div>* 05/17/08, 09:30 — Christian Sternagel, [http://cl-informatik.uibk.ac.at/~griff/WScT08/beamer.pdf slides]<br /> * 05/17/08, 10:30 — René Thiemann, [http://cl-informatik.uibk.ac.at/~thiemann/talks/leipzig08RT.pdf slides]<br /> * 05/17/08, 11:50 — Simon Bailey, [http://dev.aspsimon.org/workspace/projectdocs/leipzig-presentation.pdf slides]<br /> * 05/17/08, 14:00 — handling DG/SCCs ([[Handling SCCs|Idea]])<br /> * 05/18/08, 09:30 — The A3PAT Approach, [http://a3pat.ensiie.fr/pub/a3patwsct.pdf slides], [http://a3pat.ensiie.fr/pub/a3pat.dtd XML-format of A3PAT]<br /> * 05/19/08, 12:00 — René Thiemann, [http://cl-informatik.uibk.ac.at/~thiemann/xml/aprove.dtd XML-output of AProVE], [http://cl-informatik.uibk.ac.at/~thiemann/xml/aproveToHTML.xsl translator to HTML], [http://cl-informatik.uibk.ac.at/~thiemann/xml/aproveToRainbow.xsl translator to Rainbow], [http://cl-informatik.uibk.ac.at/~thiemann/xml/proof.xml example proof]</div>

J.waldmann