Amid the recent COVID-19 situation, the organization committee decided that QONFEST 2020,
will be organized on-line. Accepted papers will be published as planned, by
September 2020, but no physical meeting/presentations will take place. We plan that the authors will record
their talks and discuss them with the conference participants online.
Welcome to virtual QONFEST 2020
The event will be organised (online) by TU Wien, Vienna, Austria
QONFEST is the umbrella conference comprising the joint international 2020 meetings:
- CONCUR 2020, the 31st International Conference on Concurrency Theory
- FMICS 2020, the 25th International Conference on Formal Methods for Industrial Critical Systems
- FORMATS 2020, the 18th International Conference on Formal Modeling and Analysis of Timed Systems
- QEST 2020, the 17th International Conference on Quantitative Evaluation of SysTems
The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, industrial critical, and other systems.
Tweets by qonfest2020