1. Welcome to VSTTE 2010 The 3 rd International Conference on Verified Software: Theories, Tools & Experiments Andrew Ireland Conference Chair

2. Deputy Principal’s Welcome Julian Jones

3. VSTTE 2010 An interactive event, with maximum participation: ◦ Wide variety of sessions – no parallel sessions ◦ Dedicated room for informal system demos Student engagement: ◦ NSF and SICAS student grants for VSTTE 2010 ◦ SICSA sponsored Summer School - new for 2010  Lucas Dixon, Gudmund Grov & Ewen Maclean 30 Participants and 10 Distinguished Speakers: Bob Atkey, Alan Bundy, Lucas Dixon, Jane Hillston, Cliff Jones, Gerwin Klein, Ewen Maclean, J Moore, Natarajan Shankar, Graham Steel

4. Sponsors & Supporters Thanks to the Edinburgh Conference Centre, Heriot-Watt’s Technology & Research Services, Converge Corporate Communications, Graphic & Media Services, School of Mathematical & Computer Sciences and the School of Informatics (University of Edinburgh) for their support.

7. Local Arrangements Team Gudmund Grov Ewen Maclean Teresa Llano Dominic Mulligan June Maxwell Christine McBride Michelle Brown (Corp Comms)

8. Steering Committee Welcome Tony Hoare, Jay Misra, Natarajan Shankar, Jim Woodcock

9. Program Co-Chairs’ & General Workshop Chair’s Welcome Gary T. Leavens, Peter O’Hearn, Sriram Rajamani Peter Mueller

10. VSTTE Program 3 Keynotes 20 Posters 4 Invited Tool Demo/Presentations Discussion Panel 2 sequential ½ day workshops Verification competition 11 Research papers

11. Program Committee Ahmed Bouajjani Leo Freitas Philippa Gardner John Hatcliff Ranjit Jhala Joseph Kiniry Rustan Leino Xavier Leroy David Naumann Matthew Parkinson Wolfgang Paul Shaz Qadeer Andrey Rybalchenko Augusto Sampaio Zhong Shao Aaron Stump Serdar Tasiran Willem Visser Chin Wei-Ngan Stephanie Weirich Greta Yorsh

12. Workshop Committees Theory WS: Amal Ahmed Rajeev Alur Anupam Datta Yannis Kassios Neel Krishnaswami Daniel Kroening Antoine Mine Aleks Nanevski David Naumann (Co-Chair) Tamara Rezk Dave Schmidt Ashish Tiwari Viktor Vafeiadis Hongseok Yang (Co-Chair) Tools & Experiments WS: Leo Freitas Rajeev Joshi (Co-chair) Moonzoo Kim Joe Kiniry Daniel Kroening Tiziana Margaria (Co-chair) Thomas Santen Gerhard Schellhorn Bernhard Steffen

13. Statistics 32 submissions, 11 accepted. Acceptance rate about 34%.

14. Our Keynote Speaker… Tom Ball