Print

---

(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 <<<

             http://www.bcs-facs.org/events/xmas2006.html

           Organized by Oxford Brookes University and BCS-FACS

                         Sponsored by FME and BCS

This workshop will give teachers of formal methods an opportunity to 
discuss their
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: 
http://cms.brookes.ac.uk/tfm2006/programme.html
(attached to this message for convenience)

If you would like to register, please download a form from

http://cms.brookes.ac.uk/tfm2006/RegistrationForm2006.pdf

and return it with payment as soon as possible.  The deadline is 8 
December.  Why
not combine your trip to London with some Christmas shopping -- the venue is
located near Covent Garden, which is very close to the West End of London.

Hope to see you there.

Best wishes,

Paul Boca