General Chairs

Co-Located Events

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.

Keynotes

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)

Schedule

Monday
Sep 4
Tuesday
Sep 5
Wednesday
Sep 6
Thursday
Sep 7
Friday
Sep 8
Saturday
Sep 9
EXPRESS/SOSCONCURTRENDS
TutorialsQEST
EPEW
FORMATS
RegistrationEvent

Sponsors

TBA