FM 2026 will host four invited talks by distinguished experts.
- Cristian Cadar, Imperial College (UK) [FM/TAP Invited Talk]
- Ichiro Hasuo, National Institute of Informatics (Japan) [FM/ABZ Invited Talk]
- Daniel Kroening, Amazon (USA) [FM Invited Talk]
- Ruzica Piskac, Yale University (USA) [FM Invited Talk]
Key details about each keynote will appear in this page.