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.

Aims and Scope

The aims of 1.9/2.15 are

• To contribute to a comprehensive theory of programming that covers the features needed to build practical and reliable programs.
• To contribute to a coherent toolset that automates the theory and scales up to the analysis of industrial-strength software.
• To collect realistic, verified programs as part of the Verified Software Initiative Repository.

Members

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

Cliff Jones Joseph Kiniry Gary Leavens Pete Manolios Tiziana Margaria (chair) 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

• Paris, France, July 1-2, 2025
• Crete, Greece, Oct 31-Nov 1, 2024 (colocated with ISoLA 2024 and partly with 1.3)
• Oxford, UK, July 13-14, 2018
• Leuven, Belgium, May 11-12, 2017
• Montauban, France, October 2-4, 2016 (partly with 2.3)
• St Pertersburg, Florida, January 16-17, 2016
• Menlo Park, July 15-17, 2015
• Paris, December 15-17, 2014
• Vienna, July 14-16, 2014
• Orlando, December 9-12, 2013
• Saarbruck, March 4-6, 2013
• Seattle, July 15-18, 2012 (partly with 2.3)
• York, December 13-14, 2011
• Menlo Park, June 15-16, 2011