FORMAT: The pre-recorded talks of CONCUR 2020 will be streamed on Zoom. The participants will be able ask questions on Slack, and the speakers will answer them live during the online Zoom session. Please check the details at the QONFEST page. All events are scheduled according to Central European Summer Time (CEST). The registered participants will receive the details on connecting to Slack and Zoom.
PROCEEDINGS: The conference proceedings volume is available at Dagstuhl server.
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.
Co-located workshops and tutorials
More details at the workshops page.
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)
See the call for papers for further details.
CONCUR 2020 is sponsored as part of QONFEST 2020 by: