Teaching Formal Methods Workshop

[Ian East <ireast@xxxxxxxxxxxxx>]

Thought it may be of interest to some of you who wear an academic hat. 
We're holding a one day workshop on Teaching Formal Methods (TFM) on 
Friday 12th December here at Oxford Brookes. See ...

  http://wwwcms.brookes.ac.uk/tfm2003

... if you'd like further details. (Submission deadline is 31st 
October.)

Cheers
Ian


Dr. Ian Robert East

Room T2.10, Turing Building                      0 (44) 1865 484529
School of Computing and Mathematical Sciences
Oxford Brookes University
Wheatley Campus
Oxford OX33 1HX                                ireast@xxxxxxxxxxxxx