Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 21-27 August 2006
Location: McMaster University, Hamilton, Canada
Deadline: 26 May 2006

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/

For the first time, FM'06 will feature a Doctoral Symposium. Students are invited to submit short papers describing their work in progress. Submission deadline is May 26, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.