WScT08-Program

• 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