FM
International Symposium on Formal Methods (was Formal Methods Europe FME)
Metrics
- CORE rank
- B CORE / ICORE
- CCF rank
- A China Computer Federation
- Editions tracked
- 14
- Running since
- 2009
About FM
- Full name
- International Symposium on Formal Methods (was Formal Methods Europe FME)
- Subfields
- Theory, Software Engineering
- Field of research
- Software engineering (FoR 4612)
- Latest edition
- Athens, Greece, 2027
DeadlinesSubmission dates change every year. Find the current call for papers on WikiCFP or the conference site, and check the time zone (most use Anywhere on Earth, UTC-12).
Similar conferences
- BCORE
FSEACM International Conference on the Foundations of Software Engineering (was ESEC/FSE, changed 2024; duplicate previously listed as ESEC, removed from DB)
h5-index 118 - BCORE
ICMRInternational Conference on Multimedia Retrieval (previously MIR)
h5-index 33 - BCORE
LCTESACM SIGPLAN Conference on Languages, Compilers and Tools for Embedded Systems
h5-index 33 - ACORE
CSFIEEE Computer Security Foundations Symposium (was CSFW)
- ACORE
CSBIEEE Computational Systems Bioinformatics Conference
- ACORE
BPMInternational Conference in Business Process Management
Figures as of the last import; ranks are a guide, not a verdict. Back to all conferences