11th CONCUR 2000: Pennsylvania State University, Pennsylvania, USA
10th CONCUR 1999: Eindhoven, The Netherlands
9th CONCUR 1998: Nice, France
8th CONCUR 1997: Warsaw, Poland
7th CONCUR 1996: Pisa, Italy
6th CONCUR 1995: Philadelphia, PA, USA
5th CONCUR 1994: Uppsala, Sweden
4th CONCUR 1993: Hildesheim, Germany
3rd CONCUR 1992: Stony Brook, NY, USA
2nd CONCUR 1991: Amsterdam, the Netherlands
1st CONCUR 1990: Amsterdam, the Netherlands
Concurrency: Theory, Language, And Architecture 1989: Oxford, UK
Concurrency 1988: Hamburg, Germany
Seminar on Concurrency 1984: Pittsburgh, PA, USA
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]
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
International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
International Conference on Quantitative Evaluation of SysTems (QEST)
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.