Announcement and invitation for talks
-------------------------------------
One Day Workshop on B
Royal Holloway, University of London
July 14th, 2002.
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.
Talks are invited for the workshop. Those interested in giving a talk
on any aspect of their B research and experience, including
educational issues, should send a talk title to the workshop
organisers. A programme will be announced in due course.
Speakers include:
* Michael Leuschel, University of Southampton
* Ken Robinson, University of New South Wales
If you wish to register to attend, please send an email to the
organisers to be included on the workshop mailing list for further
details of the programme schedule. 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
|