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.
Amid the recent COVID-19 situation, the organization committee decided that QONFEST 2020, and thus also CONCUR 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. All CONCUR 2020 deadlines have been adjusted with two weeks deadline extensions.
CONCUR 2020 takes place online, coordinated from TU Wien, August 31-September 5, 2020.
Organizers' 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.