| BRITISH COMPUTER SOCIETY FACS SPECIALIST GROUP |
|
|
Formal Aspects of Computing Science
BCS-FACS Evening Seminar Series
FM@Waikato
Professor Steve Reeves
27 April 2005
5.45pmBCS London Offices
First Floor, The Davidson Building
|
|
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 µ-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 your name by 21 April 2005. Pre-registration is required, as security at the BCS Offices is tight. |
| Formal Aspects of Computing Science |
|
Copyright © BCS-FACS |