Springe direkt zu Inhalt

QONFEST

04.09.2017 - 09.09.2017

International Conference of Formal Modelling, Verification, Performance Evaluation and Engineering of computing systems.

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 computing systems.

Zeit & Ort

04.09.2017 - 09.09.2017

Harnack-Haus der Max-Planck Gesellschaft
Ihnestraße 16-20
14195 Berlin

Weitere Informationen

Ansprechpartner: Prof. Dr Katinka Wolter; E-Mail-Adresse: katinka.wolter@fu-berlin.de