*** VSR-net Workshop, 15 September 2008, BCS London Offices:Programme online, Registration open

(** Apologies if you receive multiple copies of this announcement **)

The programme for the upcoming VSR-net workshop on 15 September, at
the BCS Offices in London has now been finalized and is available
online at:

http://www.abz2008.org.uk/VSRnetProgramme.pdf

The list of talks is reproduced at the end of this message too.

The registration desk is now open, and forms are available at:

http://www.abz2008.org.uk/VSRnetRegistrationForm.pdf

The event starts at 9.30am and finishes at 5.45pm. Entry to the event
is free for those attending ABZ2008.

----------------------------VSR-NET
TALKS----------------------------------------

Cliff Jones (University of Newcastle). Splitting atoms with
rely/guarantee-conditions coupled with data reification

Jim Woodcock (University of York). Progress on the Verified Software
Repository

John Fitzgerald (University of Newcastle). Approaches to the Pacemaker
Challenge Problem

Jan Jürjens (Open University). Towards Verified Cryptoprotocol
Implementations: The Java Secure Sockets Extension

Michael Butler (University of Southampton). Applying Event-B and Rodin
to the filestore

Eunsuk Kang (MIT). Counterexample Detection, Core Extraction and
Simulation: Three Analyses Applied to a Flash File System Model

P. Taverne & C. Pronk (Delft University of Technology). A Verifiable
File Store for Flash

Iain Craig (University of Northampton). Specification and Refinement
of Operating Systems

Mattias Ulbrich & Peter H. Schmitt (Universität Karlsruhe). Specifying
and Verifying a Filesystem Using JML

Richard Banach (University of Manchester). The Mondex Purse
Requirements and Retrenchments

Nazim Benaïssa, Dominique Méry (LORIA & Université Henri Poincaré
Nancy). Combining Event B developments of MONDEX and Dolev-Yao attack

Clive Blackwell (Royal Holloway, University of London). An analysis of
the Mondex electronic purse with spygraphs.

Tony Hoare (Microsoft Research). Hopes and their fulfilment