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, a conference center in Berlin-Dahlem run by the Max-Planck-Gesellschaft.
Hongseok Yang (CONCUR, QEST, FORMATS) |
Morten Bisgaard (QEST, FORMATS) |
Romualdo Pastor-Satorras (QEST) |
Azahdeh Farzan (CONCUR) |
Madan Musuvathi (CONCUR) |
Jean-Francois Raskin (CONCUR) |
Laurent Fribourg (FORMATS) |
William Knottenbelt (EPEW) |
Antonino Sabetta (EPEW) |
Monday Sep 4 | Tuesday Sep 5 | Wednesday Sep 6 | Thursday Sep 7 | Friday Sep 8 | Saturday Sep 9 |
EXPRESS/SOS | CONCUR | TRENDS | |||
Tutorials | QEST | ||||
EPEW | |||||
FORMATS | |||||
Registration | Event |
TBA