Patricia Bouyer co-chairing FoSSaCS

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