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 (Google map link), a conference center in Berlin-Dahlem run by the Max-Planck-Society.
Main Events:
- 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
Workshops:
Schedule
Monday
Sep 4 | Tuesday
Sep 5 | Wednesday
Sep 6 | Thursday
Sep 7 | Friday
Sep 8 | Saturday
Sep 9 |
| EXPRESS/SOS | CONCUR | TRENDS |
| RADICAL | QEST | | |
| YR-CONCUR | | | EPEW | PASM |
| | FORMATS | | |
Contact
Supported by:
