FME Fellowship Award
FME is currently accepting nominations from FME members for the 2024 fellowship, which will be presented during FM 2024 (9th-13th September 2024). The nominations should be sent to email@example.com by 5th JANUARY 2024.
Established in 2015 and normally given every three years for technical achievements in advancing, applying, and promoting formal methods, the Formal Methods Europe (FME) Fellowship rewards scientific breakthroughs and pioneering work that have made a difference to the world through advances in formal methods.
Nominees are expected to have made significant contributions through solid theoretical work or practical impact in industry. The development of frameworks and tools, teaching formal methods, as well as publicising formal methods worldwide and attracting people to the community are additional criteria that can strengthen a nomination. All nominations have to be supported by concrete evidence.