(** 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