Patricia Bouyer is co-chairing FoSSaCS 2022 organised as part of the ETAPS 2022 conference which federates four main venues in the area of formal methods:
- ESOP 2022, the 31st European Symposium on Programming
- FASE 2022, the 25th International Conference on Fundamental Approaches to Software Engineering
- FoSSaCS 2022, the 25th International Conference on Foundations of Software Science and Computation Structures
- TACAS 2022, the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems