ABZ2008 VSR-net workshop

When: 15th Sep 2008, 09:00 - 15th Sep 2008, 17:00
Where: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA
Town/City: London
Organiser: Formal Aspects of Computing Science Specialist Group
Further Information: Further Information

Programme: Invited talk: 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 Richard Banach (University of Manchester). The Mondex Purse Requirements and Retrenchments Michael Butler (University of Southampton). Applying Event-B and Rodin to the filestore John Fitzgerald (University of Newcastle). Approaches to the Pacemaker Challenge Problem Tony Hoare (Microsoft Research, Cambridge). Hopes and their fulfilment Eunsuk Kang (MIT). Counterexample Detection, Core Extraction and Simulation: Three Analyses Applied to a Flash File System Model Other talks to be added... BCS/FACS/FME Member Rate: £25.00 inc VAT Non BCS/FACS/FME Member Rate: £30.00 inc VAT For a registration form please contact Paul Boca on the details below, or alternatively Gemma Liddiard on gemma.liddiard@hq.bcs.org.uk.

S
M
T
W
T
F
S
1
2
3
7
9
10
11
14
15
16
24
25
27