(Apologies for multiple copies)
**** BCS-FACS Evening Seminar ****
Title: FM@Waikato
Professor Steve Reeves
27 April 2005
5.45pm
BCS London Offices
First Floor
The Davidson Building
5 Southampton Street
London WC2E 7HA
This talk seeks to do two things: first, to give a brief overview of
work going on at, I'm almost certain, the FM lab furthest from the BCS
in London - it would take you about 30 hours of continuous travelling
to get there!; second, to look in rather more detail at a few aspects
of the work going on in the Waikato lab. These will include mu-Charts,
simplified and completely formalised version of Statecharts or UML
statecharts; and work in the area of putting together processes and
states into "components" and ideas concerning the refinement of
atomic actions.
Refreshments will be served from 5.15pm
The seminar is **free of charge** and open to everyone. If you would
like to attend, please email Paul Boca [[log in to unmask]] your name
and affiliation by >>> 21 April <<< . Pre-registration is required, as
security at the BCS Offices is tight.
Directions: The BCS offices are just north of the Strand and south of
Covent Garden. The nearest underground stations are Covent Garden and
Charing Cross. See map under
http://www.bcs.org/NR/rdonlyres/B5872B38-3FBB-46E8-9CE7-6F43212E1198/0/londonss.jpg
Dr Paul Boca
BCS-FACS Newsletter Editor and Membership Secretary
http://www.bcs-facs.org
|