International Symposium on Formal Methods (FM) — международная научная конференция в области Computer Science. Организатор: . Материалы конференции индексируются в базе Scopus. Одна из наиболее авторитетных конференций в данной области.
Рейтинг CORE: A — отличное качество, топ 20%. Рейтинг CCF: A — ведущая конференция.
Издание 2026 года проходит в г. Tokyo, Япония. Срок подачи статей истёк (2025-12-02).