I will present current plans for the establishment and management of the verified
software repository comprising software analysis tools and challenge codes for them.
I will describe the proposed objectives, activities and workplan to support the vision
outlined by Tony Hoare in the opening talk of the workshop. The talk will include
an opportunity for the audience to contribute their own ideas for the project.
