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