A cada dez anos, o simpósio Formal Methods, organizado pela Formal Methods Europe, toma a forma de um congresso mundial.
Vinte anos após o FM99, realizado na cidade de Toulouse, e dez anos volvidos sobre o FM09, na cidade de Eindoven, a edição de 2019 terá lugar na cidade do Porto (Centro de Congressos da Alfândega do Porto), coincidindo com o 23.º simpósio. Será uma oportunidade para celebrar a efeméride, mas também para investigadores e profissionais trocarem ideias e partilharem experiências.
Mais informações em: http://formalmethods2019.inesctec.pt/