International Symposium on Formal Methods (FM) — Computer Science sohasidagi xalqaro ilmiy konferensiya. Tashkilotchi: . Konferensiya materiallari Scopus bazasida indekslanadi. Sohadagi eng nufuzli konferensiyalardan biri.
CORE reytingi: A — ajoyib sifat, eng yuqori 20%. CCF reytingi: A — yetakchi konferensiya.
2026 yilgi nashri Tokyo, Yaponiyada boʻlib oʻtadi. Maqolalar topshirish muddati oʻtgan (2025-12-02).