IFIP WG 1.9/2.15 Verified Software

• Members
• Meetings

This is the permanent web page of IFIP WG 1.9/2.15 Verified Software.

Members

Sandrine Blazy Ernie Cohen Jean-Christophe Filliâtre (chair) Marcelo Frias Klaus Havelund Andrew Ireland Bart Jacobs

Cliff Jones Joseph Kiniry Gary Leavens Pete Manolios Tiziana Margaria Peter Müller Matthew Parkinson

Andreas Podelski Shaz Qadeer Andrey Rybalchenko Natarajan Shankar (secretary) Gerhard Schellhorn Alex Summers Jim Woodcock (vice-chair)

Members emeriti

• Tony Hoare
• Jayadev Misra
• Wolfgang Paul

Meetings

• 12. Oxford, UK, July 13-14, 2018
• 11. Leuven, Belgium, May 11-12, 2017
• 10. Montauban, France, October 2-4, 2016 (partly with 2.3)
• 9. St Pertersburg, Florida, January 16-17, 2016
• 8. Menlo Park, July 15-17, 2015
• 7. Paris, December 15-17, 2014
• 6. Vienna, July 14-16, 2014
• 5. Orlando, December 9-12, 2013
• 4. Saarbruck, March 4-6, 2013
• 3. Seattle, July 15-18, 2012 (partly with 2.3)
• 2. York, December 13-14, 2011
• 1. Menlo Park, June 15-16, 2011

---

Last updated: January 13, 2016