16th-19th August

2010

Conference Chair

Andrew Ireland (Heriot-Watt University)

Program Chairs

Peter O'Hearn (Queen Mary, University of London)

Gary T. Leavens (University of Central Florida)

Sriram Rajamani (Microsoft Research)

Workshop General Chair

Peter Mueller (ETH Zurich)

Theory Workshop Chairs

David Naumann (Stevens Institute of Technology)

Hongseok Yang   (Queen Mary, University of London)

Tools & Experiments Workshop Chairs

Rajeev Joshi  (NASA JPL)

Tiziana Margaria (Universität Potsdam)

Publicity Chair

Gudmund Grov (University of Edinburgh)

Local Arrangements Chair

Ewen Maclean (Heriot-Watt University)

Local Arrangements Team

Maria Teresa Llano

Dominic Mulligan

June Maxwell

Christine McBride

Steering Committee

1. •Tony Hoare
   

2. •Jay Misra
   

3. •Natarajan Shankar
   

4. •Jim Woodcock
   

Program Committee

1. •Ahmed Bouajjani
   

2. •Leo Freitas
   

3. •Philippa Gardner
   

4. •John Hatcliff
   

5. •Ranjit Jhala
   

6. •Joseph Kiniry
   

7. •Rustan Leino
   

8. •Xavier Leroy
   

9. •David Naumann
   

10. •Matthew Parkinson
    

11. •Wolfgang Paul
    

12. •Shaz Qadeer
    

13. •Andrey Rybalchenko
    

14. •Augusto Sampaio
    

15. •Zhong Shao
    

16. •Aaron Stump
    

17. •Serdar Tasiran
    

18. •Willem Visser
    

19. •Chin Wei-Ngan
    

20. •Stephanie Weirich
    

21. •Greta Yorsh