… VSR-net started, based around the idea of a Verified Software Repository to document verified
software attempts and case studies [http://www.fmnet.info/vsr-net]… The Dagstuhl seminar at …

In 2004, the UK Computing Research Committee initiated a number of Grand Challenges
aimed at stimulating long term research in key areas of computing science. One of the …

… technical talks at the VSR-net workshop covering progress on … EPSRC VSR-net Network
enabled the VSR-net workshop … Further information on the ABZ2008 conference may be found …

… along with an overview of other technical talks at the VSR-net workshop covering progress
on verification challenges. … The EPSRC VSR-net Network enabled the VSR-net workshop …

… We survey here the key objectives and the structure of the Dagstuhl Seminar 06191, which
was organized as a Festkolloquium on the occasion of Egon Börger's 60th birthday, in May …

… issue of selected and extended papers from the ABZ 2008 conference in the Formal Aspects
of … As we have seen, the original ASM workshops have been combined with the B-Method, Z …

… Through editing books and organizing workshops, summer schools, conferences, including
various seminars at the Mathematical Research Institute in Oberwolfach and at Schloss …

… This article expands on a preliminary version of the authors’ work [27], which was presented
at the VSR-net workshop [28]. File systems were an early target for case studies in formal …

… This was through the EPSRC Network “VSRnet” [245], with co-… issue of selected papers
from the ABZ 2008 conference [20]. I … We initiated a series of FACS evening seminars with well-…

… 2,1] and has also been a topic at several VSR-net workshops. Precursors of this paper have
been presented at several GC6 workshops [14]. This paper presents our work contributing to …