QONFEST 2020 {re-arranged to virtual}
| DATE: | Monday, August 31, 2020 – Saturday, September 5, 2020 |
| VENUE: | TU Wien - VIRTUAL |
QONFEST 2020 is the umbrella conference comprising the joint international 2020 meetings alongside with several workshops and tutorials:
- CONCUR 2020, the 31st International Conference on Concurrency Theory
- FMICS 2020, the 25th International Conference on Formal Methods for Industrial Critical Systems
- FORMATS 2020, the 18th International Conference on Formal Modeling and Analysis of Timed Systems
- QEST 2020, the 17th International Conference on Quantitative Evaluation of SysTems
The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, industrial critical, and other systems.
IMPORTANT INFORMATION RELATED TO COVID-19
Amid the recent COVID-19 situation, the organization committee decided that QONFEST 2020, will be organized on-line.
Accepted papers will be published as planned, by September 2020, but no physical meeting/presentations will take place.
We plan that the authors will record their talks and discuss them with the conference participants online.
Organizers
- Ezio Bartocci, TU Wien, Austria (General Chair)
- Florian Zuleger, TU Wien, Austria (Workshops Chair)
- Igor Konnov, INRIA Nancy, France (CONCUR PC-Chairs)
- Laura Kovacs, TU Wien, Austria (CONCUR PC-Chairs)
- Dejan Nickovic, AIT, Austria (FMICS PC-Chairs)
- Maurice ter Beek, ISTI-CNR, Italy (FMICS PC-Chairs)
- Nathalie Bertrand, INRIA, France (FORMATS PC-Chairs)
- Nils Jansen, Radboud University Nijmegen, Netherlands (FORMATS PC-Chairs)
- Marco Gribaudo, Politecnico di Milano, Italy (QEST PC-Chairs)
- David N. Jansen, Chinese Academy of Sciences, China (QEST PC-Chairs)
- Anne Remke, University of Münster, Germany (QEST PC-Chairs)
- Carlos E. Budde, University of Twente, Netherlands (Publicity Chairs)
- Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece (Publicity Chairs)
- Ana Sokolova, University of Salzburg, Austria (Publicity Chairs)
Call for Workshops
Researchers and practitioners are invited to submit proposals for workshops to be affiliated to QONFEST 2020. Example topics include: concurrency theory and its applications, timed systems, semantics, logics, verification techniques, cross-fertilization between industry and academia and opportunities for young and prospective researchers. More here
Deadline: January 15, 2020
Workshops: take place on Monday August 31, 2020 and Saturday September 5, 2020.
