The International Symposium of Formal Methods (FM) conference series is organized by Formal Methods Europe.