21-27 August 2006, 14th International Symposium on Formal Methods (FM'06), McMaster University, Hamilton, Canada

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. As in previous years, an Industry Day will be dedicated for practitioners to share their experiences with industrial applications.

For more information, see http://fm06.mcmaster.ca/