Eventos Relevantes na Área de Métodos Formais (além do SBMF):
International Symposium on Formal Methods (FM)
International Conference on Formal Engineering Methods (ICFEM)
International Colloquium on Theoretical Aspects of Computing (ICTAC)
Software Engineering and Formal Methods (SEFM)