(Apologies if you receive multiple copies of this announcement)
Teaching Formal Methods 2006
BCS-FACS Christmas Meeting
BCS London Offices, Covent Garden
15 December 2006
Registration deadline: >>> 8 December <<< [Please
email [log in to unmask] if you intend to register]
Organized by Oxford Brookes University and BCS-FACS
Sponsored by FME and BCS
This workshop will give teachers of formal methods an opportunity to
experiences in this area, to share successes and failures, to identify
issues in teaching
formal methods and discuss how they might be addressed.
Invited Speaker: Ralph-Johan, Back, Abo Akademi University, Finland
Programme is now available -- see:
If you would like to register, please download a form from
and return it with payment as soon as possible. The deadline is 8
not combine your trip to London with some Christmas shopping -- the
located near Covent Garden, which is very close to the West End of London.
Hope to see you there.