Ezio Bartocci is the General Chair of QONFEST 2020 in Vienna

QONFEST is the umbrella conference comprising the joint international 2020 meetings CONCUR (31st International Conference on Concurrency Theory), QEST (17th International Conference on Quantitative Evaluation of SysTems), FORMATS (18th International Conference on Formal Modeling and Analysis of Timed Systems), alongside with several workshops and tutorials. The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, and other systems.

The conference will take place at TU Wien the first week of September 2020.