The purpose of CONCUR 2020, the 31st International Conference on Concurrency Theory, is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.
CONCUR 2020 is part of the umbrella conference QONFEST 2020 comprising the joint international 2020 meetings CONCUR, FMICS, FORMATS, QEST, alongside with several workshops and tutorials.
CONCUR 2020 takes place TU Wien, August 31-September 5, 2020.
Address: TU Wien, Karlsplatz 13, 1040 Wien
- 17th International Conference on Quantitative Evaluation of SysTems (QEST 2020)
- 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020)
- 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020)
Co-located workshops and tutorialsTBA
Please, see the call for papers for further details.