QONFEST is the umbrella conference comprising the joint international 2021 meetings:
  • CONCUR 2021, the 32nd 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
Several satellite workshops are associated with these conferences:
  • Express/SOS 2021, the combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
  • PM 2021, the IEEE International Workshop on Predictive Maintenance
  • SNR 2021, the 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT
  • TRENDS 2021, the 10th IFIP WG 1.8 Workshop on Trends in Concurrency Theory

Due to the pandemic, the organization committee has decided to hold the event online. We will proceed as in QONFEST 2020: the talks will be pre-recorded and then streamed on Zoom. The participants will be able to ask questions on Slack, and the speakers will answer them live during the online Zoom session.