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 |