International Conference on Concurrency Theory

Last updated
International Conference on Concurrency Theory
AbbreviationCONCUR
Discipline concurrency
Publication details
Publisher LIPICS, Lecture Notes in Computer Science
History1984-present
FrequencyAnnually

The International Conference on Concurrency Theory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency and its applications. It is the flagship conference for concurrency theory according to the International Federation for Information Processing Working Group on Concurrency Theory (WP 1.8). [1] The conference is organised annually since 1988. Since 2015, papers presented at CONCUR are published in the LIPIcs–Leibniz International Proceedings in Informatics, a "series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl –Leibniz Center for Informatics". [2] [3] Before, CONCUR papers were published in the series Lecture Notes in Computer Science. [4]

Contents

Editions

Test-of-Time Award

In 2020, the International Conference on Concurrency Theory (CONCUR) and the IFIP Working Group 1.8 on Concurrency Theory established the CONCUR Test-of-Time Award. The goal of the Award is to recognize important achievements in concurrency theory that have stood the test of time, and were published at CONCUR since its first edition in 1990. [16]

Starting with CONCUR 2024, an award event will take place every other year, and recognize one or two papers presented at CONCUR in the 4-year period from 20 to 17 years earlier. From 2020 to 2023 two such award events are combined each year, in order to also recognize achievements that appeared in the early editions of CONCUR. [17]

2023

Period 2002–2005

  • Vincent Danos, Jean Krivine: "Reversible Communicating Systems." (CONCUR 2004) [18]

2022

Period 2000–2003

Period 1998–2001

  • Franck Cassez & Kim Larsen: "The Impressive Power of Stopwatches" (CONCUR 2000) [19]
  • Christel Baier, Joost-Pieter Katoen & Holger Hermanns: "Approximate symbolic model checking of continuous-time Markov chains." (CONCUR 1999) [19]

2021

Period 1996–1999

Period 1994–1997

  • Uwe Nestmann & Benjamin C. Pierce: "Decoding Choice Encodings" (CONCUR 1996) [16]
  • David Janin & Igor Walukiewicz: "On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic." (CONCUR 1996) [16]

2020

Period 1992–1995

  • Roberto Segala & Nancy Lynch: "Probabilistic Simulations for Probabilistic Processes" (CONCUR 1994) [17]
  • Davide Sangiorgi: "A Theory of Bisimulation for the pi-Calculus" (CONCUR 1993) [17]

Period 1990–1993

  • Rob van Glabbeek: "The Linear Time-Branching Time Spectrum" (CONCUR 1993) [17]
  • Søren Christensen, Hans Hüttel & Colin Stirling: "Bisimulation Equivalence is Decidable for all Context-Free Processes" (CONCUR 1992) [17]

Affiliated events

See also

References

  1. "Conferences - IFIP WG 1.8 (Concurrency Theory)". concurrency-theory.org. Retrieved 2019-02-08.
  2. "Schloss Dagstuhl : LIPIcs". www.dagstuhl.de. Retrieved 2019-02-03.
  3. "dblp: CONCUR 2015". dblp.org. Retrieved 2019-02-03.
  4. "dblp: Concurrency 1988". dblp.org. Retrieved 2019-02-03.
  5. "CORE 2021 - CONCUR". portal.core.edu.au. Retrieved 2023-04-01.
  6. "CONCUR - Google Scholar Metrics". scholar.google.dk. Retrieved 2019-07-20.
  7. "CONFEST 2024". CONFEST 2024. Retrieved 2024-12-11.
  8. "CONCUR 2023". CONCUR 2023. Retrieved 2023-09-20.
  9. "CONCUR 2022". CONCUR 2022. Retrieved 2023-04-25.
  10. "CONCUR 2021". Qonfest 2021. Retrieved 2021-04-26.
  11. "CONCUR 2020". CONCUR 2020. Retrieved 2023-04-25.
  12. "CONCUR 2019 - AMSTERDAM". event.cwi.nl. Retrieved 2019-02-03.
  13. "CONCUR 2018 - BEIJING". lcs.ios.ac.cn. Retrieved 2019-02-03.
  14. "CONCUR 2017". www.concur2017.tu-berlin.de. Retrieved 2019-02-03.
  15. "CONCUR2016: Home". www.concur2016.ulaval.ca. Retrieved 2019-02-03.
  16. 1 2 3 4 5 Bertrand, Nathalie; de Alfaro, Luca; van Glabbeek, Rob; Palamidessi, Catuscia; Yoshida, Nobuko (2021). "CONCUR Test-Of-Time Award 2021" (PDF). CONCUR. Leibniz International Proceedings in Informatics (LIPIcs). 203: 1:1–1:3. doi: 10.4230/LIPIcs.CONCUR.2021.1 . ISBN   9783959772037.
  17. 1 2 3 4 5 Aceto, Luca; Baeten, Jos; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra (2020). "CONCUR Test-Of-Time Award 2020 Announcement" (PDF). CONCUR. Leibniz International Proceedings in Informatics (LIPIcs). 171: 5:1–5:3. doi: 10.4230/LIPIcs.CONCUR.2020.5 . ISBN   9783959771603.
  18. "Concur 2023 Test of Time Award". Concur 2023 website. Retrieved 20 September 2023.
  19. 1 2 3 4 "Concur 2022 Test of Time Award". Concur 2022 website. Retrieved 9 November 2022.