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