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: