QONFEST is the umbrella conference comprising the joint international 2017 meetings CONCUR, QEST, FORMATS, and EPEW, 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 venue takes place at the Harnack-Haus (Google map link), a conference center in Berlin-Dahlem run by the Max-Planck-Society.
- CONCUR 2017 - International Conference on Concurrency Theory, chaired by Uwe Nestmann (TU Berlin) and Roland Meyer (TU Braunschweig)
- QEST 2017 - International Conference on Quantitative Evaluation of SysTems, chaired by Nathalie Bertrand (INRIA) and Luca Bortolussi (Trieste)
- FORMATS 2017 - International Conference on Formal Modeling and Analysis of Timed Systems (chaired by Alessandro Abate (Oxford U) and Gilles Geeraerts (UL Bruxelles)
- EPEW 2017 - European Workshop on Performance Engineering, chaired by Antinisca Di Marco and Philipp Reinecke
| RADICAL||QEST|| || |
| YR-CONCUR|| || ||EPEW||PASM |
| ||FORMATS|| || |