VSTTE 2008 -- Verified Software: Theories, Tools and Experiments

2008 October 6--9

Toronto, Ontario, Canada

Workshops

The VSTTE conference hosts three workshops: on Theories, Tools and Experiments. Workshops run on October 9, 2008 (starting after the plenary talk) . For further information about each workshop, contact the respective organisers by email or by following the links below.

• Workshop on Theories (David Naumann and Peter O'Hearn)
• Workshop on Tools (Daniel Kroening and Tiziana Margaria)
• Workshop on Experiments (Rajeev Joshi and Joe Kiniry)