FM 2018: keynote speakers
The keynote speakers for FM2018 have just been announced.
- Annabelle McIver, Macquarie University, Sydney, Australia
- Leonardo de Moura, Microsoft Research, Redmond, USA
- Kim Guldstrand Larsen, Aalborg University & UP4ALL, Denmark
See the FM2018 website for more information.