- 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 2020, the 17th International Conference on Quantitative Evaluation of SysTems
Despite the pandemic situation, the organization committee is still hoping that the conference could take place physically in Paris. We will make a final decision at the end of March, shortly before the submission deadline. The exact format will be communicated then. Should a physical conference be deemed impossible, we will proceed as QONFEST2020: the talks will be pre-recorded and then streamed on Zoom. The participants will be able ask questions on Slack, and the speakers will answer them live during the online Zoom session.