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:

alongside with several workshops (EXPRESS/SOS, FRIDA, QAVS, TRENDS, SNR) and tutorials.

The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, industrial critical, and other systems.

Sponsors

Platinum

Interchain

Silver

VCLA TU Wien

Bronze

ERCIM Springer