The FM’19 congress is very happy to announce the following forthcoming conferences:

FSCD 2020 Fifth International Conference on Formal Structures for Computation and Deduction Poster
FormaliSE 2020 8th International Conference on Formal Methods in Software Engineering Poster
REFSQ 2020 26th Intl. Conference on Requirements Engineering: Foundationsfor Software Quality Poster
RAMICS 2020 18th International Conference on Relational and Algebraic Methods in Computer Science Poster