Workshop Announcement and Programme
-----------------------------------
One Day Workshop on B
Royal Holloway, University of London
Monday July 14th, 2003.
http://www.cs.rhul.ac.uk/CompSci/News-and-Events/Events/Bworkshop.html
Workshop Description:
---------------------
This workshop will provide a forum for discussion and exchange of
experiences about the use of the B-Method, and its relationship with
other approaches to Software Engineering. The aim is to bring
together academics and industrialists who use the B-Method, those
involved in teaching B, and those interested in finding out more about
it.
Programme:
10:30 registration and coffee
11:00 Ken Robinson (University of New South Wales)
Computer Science or Software Engineering? The B Method enables
them both but ...
11:45 Steve Dunne (University of Teeside)
Getting to Grips with Interactive Proof in B
12:30 lunch
1:30 Michael Leuschel (University of Southampton)
ProB: A Model Checker for B
2:15 Martin Weigele (Gefotec) A travel back in time - some early work on B
3:00 break
3:30 Mike Poppleton (University of Southampton)
Retrenchment: taking formal verification beyond refinement
4:15 Helen Treharne (Royal Holloway, University of London):
Integrating CSP and B animations
5:00 close
If you wish to register to attend, please send an email to the
organisers. Registration is free, and lunch will be provided by the
Department of Computer Science at Royal Holloway.
For further information, contact the organisers:
Steve Schneider: [log in to unmask]
Helen Treharne: [log in to unmask]
Department of Computer Science
Royal Holloway, University of London
Egham, Surrey, TW20 0EX
|