Serge Haddad co-chairing CONCUR

Serge Haddad is co-chairing CONCUR 2021 organised as part of the QONFEST 2021 conference which federates four main venues in the area of formal methods:

  • CONCUR 2021, the 32st International Conference on Concurrency Theory
  • FMICS 2021, the 26th International Conference on Formal Methods for Industrial Critical Systems
  • FORMATS 2021, the 19th International Conference on Formal Modeling and Analysis of Timed Systems
  • QEST 2021, the 18th International Conference on Quantitative Evaluation of SysTems