[ forwarding on behalf of Jeff Zucker <zucker@cas.mcmaster.ca>] ======================================================================== ==== FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS 21 - 27 August 2006 McMaster University, Hamilton, Ontario, Canada http://fm06.mcmaster.ca/ REMINDER: EARLY REGISTRATION ENDS ON JULY 7 The FM Symposia continue to be the premier international forum for practitioners and researchers applying mathematical methods to the design of highly trusted computer systems. It enables them to meet and exchange experiences and ideas. This is the 14th event in this series, and for the first time will take place in North America. Among the highlights: * Technical Symposium with 36 papers (out of 158 submissions) and Best Paper Award * Doctoral Symposium, aimed at young researchers * Industry Day with 8 speakers reporting on industrial usage * 5 Invited Speakers * 10 Tutorials * 4 Workshops * Commercial Tool Exhibition * Research Poster and Tool Exhibition * Book Exhibition