Welcome to VSTTE 2010The 3rd International Conference on Verified

Software: Theories, Tools & Experiments

Andrew IrelandConference Chair

Deputy Principal’s Welcome

Julian Jones

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 2010Lucas 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

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.

Local Arrangements TeamGudmund GrovEwen MacleanTeresa Llano

Dominic Mulligan June Maxwell

Christine McBrideMichelle Brown (Corp Comms)

Steering Committee Welcome

Tony Hoare, Jay Misra, Natarajan Shankar, Jim Woodcock

Program Co-Chairs’ & General Workshop Chair’s

Welcome

Gary T. Leavens, Peter O’Hearn, Sriram Rajamani

Peter Mueller

VSTTE Program3 Keynotes20 Posters4 Invited Tool Demo/PresentationsDiscussion Panel2 sequential ½ day workshopsVerification competition 11 Research papers

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

Workshop CommitteesTheory 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

Statistics32 submissions, 11 accepted.Acceptance rate about 34%.

Our Keynote Speaker…

Tom Ball