版
- 第37回CONCUR 2026:英国リバプール[ 7 ]
- 第36回CONCUR 2025:デンマーク、オーフス[ 8 ]
- 第35回CONCUR 2024:カナダ、カルガリー[ 9 ]
- 第34回CONCUR 2023:ベルギー、アントワープ[ 10 ]
- 第33回CONCUR 2022:ポーランド、ワルシャワ[ 11 ]
- 第32回CONCUR 2021:
フランス、パリオンライン[ 12 ] - 第31回CONCUR 2020:
オーストリア、ウィーンオンライン[ 13 ] - 第30回CONCUR 2019:オランダ、アムステルダム[ 14 ]
- 第29回CONCUR 2018:中国・北京[ 15 ]
- 第28回CONCUR 2017:ドイツ、ベルリン[ 16 ]
- 第27回CONCUR 2016:カナダ、ケベックシティ[ 17 ]
- 第26回CONCUR 2015:スペイン、マドリード
- 第25回CONCUR 2014:イタリア、ローマ
- 第24回CONCUR 2013:アルゼンチン、ブエノスアイレス
- 第23回CONCUR 2012:英国ニューカッスル・アポン・タイン
- 第22回CONCUR 2011:ドイツ、アーヘン
- 第21回CONCUR 2010:フランス、パリ
- 第20回CONCUR 2009:イタリア、ボローニャ
- 第19回CONCUR 2008:カナダ、トロント
- 第18回CONCUR 2007:ポルトガル、リスボン
- 第17回CONCUR 2006:ドイツ、ボン
- 第16回CONCUR 2005:米国カリフォルニア州サンフランシスコ
- 第15回CONCUR 2004:英国ロンドン
- 第14回コンクール2003:フランス、マルセイユ
- 第13回CONCUR 2002:チェコ共和国ブルノ
- 第12回CONCUR 2001:デンマーク、オールボー
- 第11回CONCUR 2000:ペンシルベニア州立大学、ペンシルベニア州、アメリカ合衆国
- 第10回CONCUR 1999:オランダ、アイントホーフェン
- 第9回CONCUR 1998:フランス、ニース
- 第8回CONCUR 1997:ポーランド、ワルシャワ
- 第7回CONCUR 1996:イタリア、ピサ
- 第 6 回 CONCUR 1995: 米国ペンシルバニア州フィラデルフィア
- 第5回CONCUR 1994:スウェーデン、ウプサラ
- 第4回CONCUR 1993:ドイツ、ヒルデスハイム
- 第3回CONCUR 1992:ニューヨーク州ストーニーブルック、アメリカ合衆国
- 第2回CONCUR 1991:オランダ、アムステルダム
- 第1回CONCUR 1990:オランダ、アムステルダム
- 並行性:理論、言語、およびアーキテクチャ 1989年:オックスフォード、英国
- コンカレンシー1988:ドイツ、ハンブルク
- 並行処理に関するセミナー 1984年:米国ペンシルベニア州ピッツバーグ
時代を超えて愛される賞
2020年、並行性理論に関する国際会議(CONCUR)と 並行性理論に関するIFIPワーキンググループ1.8は、 CONCUR Test-of-Time Awardを設立しました。この賞の目的は、1990年の第1回開催以来CONCURで発表され、長年にわたりその価値が証明されてきた並行性理論における重要な業績を表彰することです。[ 18 ]
CONCUR 2024から、賞の授与イベントは隔年で開催され、20年前から17年前までの4年間にCONCURで発表された論文の中から1つまたは2つが表彰されます。2020年から2023年までは、CONCURの初期版に掲載された業績も表彰するために、このような賞の授与イベントが毎年2回まとめて開催されます。[ 19 ]
2024
期間:2004年~2007年
- Stephen D. Brookes: 「並行分離論理のセマンティクス」(CONCUR 2004)[ 20 ]
- Peter W. O'Hearn: 「リソース、並行性、およびローカル推論」(CONCUR 2004)[ 20 ]
2023
期間:2002年~2005年
- Vincent Danos、Jean Krivine:「可逆通信システム」(CONCUR 2004)[ 21 ]
2021
期間:1994年~1997年
- Uwe Nestmann & Benjamin C. Pierce : "Decoding Choice Encodings" (CONCUR 1996) [ 18 ]
- David Janin & Igor Walukiewicz: 「単項二階論理に関する命題μ計算の表現完全性について」(CONCUR 1996)[ 18 ]
2020
期間:1990年~1993年
- ロブ・ファン・グラッベーク: 「線形時間分岐時間スペクトル」 (CONCUR 1993) [ 19 ]
- Søren Christensen、Hans Hüttel、Colin Stirling: 「双模倣等価性はすべての文脈自由プロセスに対して決定可能である」 (CONCUR 1992) [ 19 ]
関連イベント
- 時間システムの形式モデリングと分析に関する国際会議(FORMATS)
- システムの定量的評価に関する国際会議(QEST)
参考文献
- ↑ 「会議 - IFIP WG 1.8 (並行性理論)」 . concurrency-theory.org . 2019年2月8日取得。
- ↑ 「ダグシュトゥール城:LIPIcs」。www.dagstuhl.de 。2019 年 2 月 3 日に取得。
- ↑ "dblp: CONCUR 2015" . dblp.org . 2019年2月3日取得.
- ↑ "dblp: Concurrency 1988" . dblp.org . 2019-02-03に取得.
- ↑ "CORE 2021 - CONCUR" . portal.core.edu.au . 2023年4月1日取得.
- ↑ 「CONCUR - Google Scholar Metrics」。scholar.google.dk 。 2019年7月20日取得。
- ↑ "CONFEST 2026" . CONFEST 2026 . 2025年10月9日取得.
- ↑ "CONFEST 2025" . CONFEST 2025 . 2025年10月9日取得.
- ↑ "CONFEST 2024" . CONFEST 2024 . 2024年12月11日取得.
- ↑ "CONCUR 2023" . CONCUR 2023 . 2023年9月20日取得.
- ↑ "CONCUR 2022" . CONCUR 2022 . 2023年4月25日取得.
- ↑ "CONCUR 2021" . Qonfest 2021 . 2021年4月26日取得.
- ↑ "CONCUR 2020" . CONCUR 2020 . 2023年4月25日取得.
- ↑ "CONCUR 2019 - AMSTERDAM" . event.cwi.nl . 2019年2月3日取得.
- ↑ "CONCUR 2018 - BEIJING" . lcs.ios.ac.cn . 2019年2月3日取得.
- ↑ 「CONCUR 2017」。www.concur2017.tu -berlin.de 。 2019年2月3日取得。
- ↑ 「CONCUR2016: ホーム」。www.concur2016.ulaval.ca 。 2019年2月3日取得。
- 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。
- 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。
- 1 2 「Concur 2024 Test of Time Award」。Concur 2024 ウェブサイト。2026年3 月 30 日に取得。
- ↑ 「Concur 2023 Test of Time Award」。Concur 2023 ウェブサイト。2023年9 月 20 日取得。
- 1 2 3 4 「Concur 2022 Test of Time Award」。Concur 2022 ウェブサイト。2022年11 月 9 日に取得。