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