WScT08-Program
From Termination-Portal.org
Revision as of 13:32, 2 June 2008 by J.waldmann (talk | contribs) (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...)
- 05/17/08, 09:30 — Christian Sternagel, slides
- 05/17/08, 10:30 — René Thiemann, slides
- 05/17/08, 11:50 — Simon Bailey, slides
- 05/17/08, 14:00 — handling DG/SCCs (Idea)
- 05/18/08, 09:30 — The A3PAT Approach, slides, XML-format of A3PAT
- 05/19/08, 12:00 — René Thiemann, XML-output of AProVE, translator to HTML, translator to Rainbow, example proof
