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.
BEST PAPER AWARD: Check the nominated papers. The best paper will be announced on September 1 at 12:00 CEST at Social Lunch and Best Paper Award. See the program.
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 is part of the umbrella conference QONFEST 2020 comprising the joint international 2020 meetings CONCUR, FMICS, FORMATS, QEST, alongside with several workshops and tutorials.
Co-located workshops and tutorials
More details at the workshops page.
Venue
CONCUR 2020 takes place online, coordinated from TU Wien, August 31-September 5, 2020.
Organizers’ address: TU Wien, Karlsplatz 13, 1040 Wien
Co-located conferences
- 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.
Sponsors
CONCUR 2020 is sponsored as part of QONFEST 2020 by: