The International Conference on Concurrency Theory (CONCUR) is an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journal ...

in the field of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...

, with focus on the theory of concurrency and its applications. It is the flagship conference for

concurrency theory In computer science, concurrency is the ability of different parts or units of a program, algorithm, or problem to be executed out-of-order or in partial order, without affecting the outcome. This allows for parallel execution of the concur ...

according to the

International Federation for Information Processing The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing. Established in 196 ...

Working Group on Concurrency Theory ( WP 1.8). 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 Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed i ...

–Leibniz Center for Informatics". Before, CONCUR papers were published in the series

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorial ...

. * According t
CORE Ranking
CONCUR has rank A ("excellent conference, and highly respected in a discipline area"). * According t
Google Scholar Metrics
(as of 20 July 2019), CONCUR has H5-index 21 and H5-median 34.

Editions

* 32nd CONCUR 2021: ~~Paris, France~~ Online * 31st CONCUR 2020: ~~Vienna, Austria~~ Online * 30th CONCUR 2019: Amsterdam, the Netherlands * 29th CONCUR 2018: Beijing, China * 28th CONCUR 2017: Berlin, Germany * 27th CONCUR 2016: Québec City, Canada * 26th CONCUR 2015: Madrid, Spain * 25th CONCUR 2014: Rome, Italy * 24th CONCUR 2013: Buenos Aires, Argentina * 23rd CONCUR 2012: Newcastle upon Tyne, UK * 22nd CONCUR 2011: Aachen, Germany * 21st CONCUR 2010: Paris, France * 20th CONCUR 2009: Bologna, Italy * 19th CONCUR 2008: Toronto, Canada * 18th CONCUR 2007: Lisbon, Portugal * 17th CONCUR 2006: Bonn, Germany * 16th CONCUR 2005: San Francisco, CA, USA * 15th CONCUR 2004: London, UK * 14th CONCUR 2003: Marseille, France * 13th CONCUR 2002: Brno, Czech Republic * 12th CONCUR 2001: Aalborg, Denmark * 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. 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.

2022

Period 2000–2003

* Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar & Mariëlle Stoelinga: ''"The Element of Surprise in Timed Games."'' (CONCUR 2003) * James J. Leifer &

Robin Milner Arthur John Robin Gorell Milner (13 January 1934 – 20 March 2010), known as Robin Milner or A. J. R. G. Milner, was a British computer scientist, and a Turing Award winner.

: ''"Deriving Bisimulation Congruences for Reactive Systems."'' (CONCUR 2000)

Period 1998–2001

* Franck Cassez & Kim Larsen: ''"The Impressive Power of Stopwatches"'' (CONCUR 2000) *

Christel Baier Christel Baier (born 26 September 1965) is a German theoretical computer scientist known for her work in model checking, temporal logic, and automata theory. She is a professor at TU Dresden, where she holds the chair for Algebraic and Logic Fou ...

Joost-Pieter Katoen Joost-Pieter Katoen (born October 6, 1964) is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermor ...

& Holger Hermanns: ''"Approximate symbolic model checking of continuous-time Markov chains."'' (CONCUR 1999)

2021

Period 1996–1999

Rajeev Alur Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata (Alur and D ...

, Thomas A. Henzinger, Orna Kupferman &

Moshe Y. Vardi , honorific_suffix = , image = Moshe Vardi IMG 0010.jpg , birth_date = , birth_place = Israel , workplaces = Rice UniversityIBM ResearchStanford University , alma_mater = , thesis_title = The I ...

: ''"Alternating Refinement Relations"'' (CONCUR 1998) * Ahmed Bouajjani, Javier Esparza & Oded Maler: ''"Reachability Analysis of Pushdown Automata: Application to Model-checking"'' (CONCUR 1997)

Period 1994–1997

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

2020

Period 1992–1995

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

Period 1990–1993

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

Affiliated events

* International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS) * International Conference on Quantitative Evaluation of SysTems (QEST)

References

External links

DBLP Page of CONCUR Conferences
{{Authority control Computer science conferences