Международная конференция по теории параллелизма
Международная конференция по теории параллелизма | |
---|---|
Аббревиатура | КОНКУР |
Дисциплина | параллелизм |
Подробности публикации | |
Издатель | LIPICS , Конспекты лекций по информатике |
История | 1984-настоящее время |
Частота | Ежегодно |
Международная конференция по теории параллелизма ( CONCUR ) — это научная конференция в области информатики , посвященная теории параллелизма и ее приложениям. это ведущая конференция по теории параллелизма . По данным рабочей группы Международной федерации обработки информации по теории параллелизма ( WP 1.8 ), [1] Конференция проводится ежегодно с 1988 года. С 2015 года статьи, представленные на CONCUR, публикуются в LIPIcs – Leibniz International Proceedings in Informatics , «серии высококачественных конференций по всем областям информатики, созданной в сотрудничестве с Schloss Dagstuhl – Центром Лейбница». по информатике». [2] [3] Ранее статьи CONCUR публиковались в серии Lecture Notes in Computer Science . [4]
- Согласно рейтингу CORE , CONCUR имеет рейтинг А («отличная конференция, пользующаяся большим уважением в своей дисциплине»). [5]
- Согласно Google Scholar Metrics (по состоянию на 1 апреля 2023 г.), CONCUR имеет индекс H5 17 и медиану H5 22. [6]
Издания [ править ]
- 34-й КОНКУР 2023: Антверпен, Бельгия [7]
- 33-й CONCUR 2022: Варшава, Польша [8]
- 32-я конференция CONCUR 2021:
Париж, Франция, онлайн [9] - 31-й CONCUR 2020:
Вена, АвстрияОнлайн [10] - 30-й CONCUR 2019: Амстердам, Нидерланды [11]
- 29-й CONCUR 2018: Пекин, Китай [12]
- 28-й КОНКУР 2017: Берлин, Германия [13]
- 27-й CONCUR 2016: Квебек, Канада. [14]
- 26-й КОНКУР 2015: Мадрид, Испания
- 25-й КОНКУР 2014: Рим, Италия
- 24-й CONCUR 2013: Буэнос-Айрес, Аргентина.
- 23-й CONCUR 2012: Ньюкасл-апон-Тайн, Великобритания
- 22-й КОНКУР 2011: Ахен, Германия
- 21-й КОНКЮР 2010: Париж, Франция
- 20-й КОНКУР 2009: Болонья, Италия
- 19-й КОНКУР 2008: Торонто, Канада.
- 18-й КОНКУР 2007: Лиссабон, Португалия
- 17-й КОНКУР 2006: Бонн, Германия
- 16-й КОНКУР 2005 г.: Сан-Франциско, Калифорния, США.
- 15-й КОНКЮР 2004 г.: Лондон, Великобритания.
- 14-й КОНКЮР 2003: Марсель, Франция.
- 13-й КОНКУР 2002: Брно, Чехия
- 12-й КОНКУР 2001: Ольборг, Дания
- 11-й CONCUR 2000: Университет штата Пенсильвания, Пенсильвания, США.
- 10-й КОНКУР 1999 г.: Эйндховен, Нидерланды.
- 9-й КОНКЮР 1998 г.: Ницца, Франция.
- 8-й КОНКУР 1997: Варшава, Польша.
- 7-й КОНКУР 1996 г.: Пиза, Италия.
- 6-й КОНКУР 1995 г.: Филадельфия, Пенсильвания, США.
- 5-й КОНКУР 1994 г.: Уппсала, Швеция.
- 4-й CONCUR 1993: Хильдесхайм, Германия.
- 3-й CONCUR 1992: Стоуни-Брук, Нью-Йорк, США.
- 2-й КОНКУР 1991 г.: Амстердам, Нидерланды.
- 1-й КОНКУР 1990 г.: Амстердам, Нидерланды.
- Параллелизм: теория, язык и архитектура, 1989: Оксфорд, Великобритания.
- Параллельность 1988 г.: Гамбург, Германия.
- Семинар по параллелизму, 1984 г.: Питтсбург, Пенсильвания, США.
Испытание временем « » Награда
В 2020 году Международная конференция по теории параллелизма (CONCUR) и Рабочая группа IFIP 1.8 по теории параллелизма. учредил премию CONCUR «Испытание временем». Целью премии является признание важных достижений в теории параллелизма, которыевыдержали испытание временем и были опубликованы на CONCUR с момента его первого издания в 1990 году. [15]
Начиная с CONCUR 2024, будет проводиться церемония награждения.проводиться раз в два года и признавать одну или две работы, представленные на CONCUR в течение 4-летнего периода от 20 до 17 лет назад.С 2020 по 2023 год два таких мероприятия по награждению объединяются каждый год, чтобы также отметить достижения, появившиесяв первых выпусках CONCUR. [16]
2023 [ править ]
Период 2002–2005 гг. [ править ]
- Винсент Данос, Жан Кривин: «Обратимые коммуникационные системы». (КОНКУР 2004 г.) [17]
2022 [ править ]
Период 2000–2003 гг. [ править ]
- Лука де Альфаро, Марко Фаэлла, Томас А. Хензингер , Рупак Маджумдар и Мариэль Стоелинга : «Элемент неожиданности в играх на время». (КОНКУР 2003) [18]
- Джеймс Дж. Лейфер и Робин Милнер : «Вывод сравнений бисимуляции для реактивных систем». (КОНКУР 2000) [18]
Период 1998–2001 гг. [ править ]
- Франк Кассез и Ким Ларсен: «Впечатляющая сила секундомеров» (CONCUR 2000) [18]
- Кристель Байер , Йост-Питер Катоен и Хольгер Херманнс: «Приблизительная проверка символической модели цепей Маркова с непрерывным временем». (КОНКУР 1999 г.) [18]
2021 [ править ]
Период 1996–1999 гг. [ править ]
- Раджив Алур , Томас А. Хензингер , Орна Купферман и Моше Ю. Варди : «Переменные отношения уточнения» (CONCUR 1998) [15]
- Ахмед Буаджани, Хавьер Эспарса и Одед Малер: «Анализ достижимости автоматов с выталкиванием: применение к проверке моделей» (CONCUR 1997) [15]
Период 1994–1997 . гг
- Уве Нестманн и Бенджамин К. Пирс : «Декодирование кодировок выбора» (CONCUR 1996) [15]
- Дэвид Джанин и Игорь Валукевич: «О выразительной полноте пропозиционального мю-исчисления относительно монадической логики второго порядка». (КОНКУР 1996 г.) [15]
2020 [ править ]
Период 1992–1995 . гг
- Роберто Сегала и Нэнси Линч : «Вероятностное моделирование вероятностных процессов» (CONCUR 1994) [16]
- Давиде Санджорджи : «Теория бисимуляции пи-исчисления» (CONCUR 1993) [16]
Период 1990–1993 . гг
- Роб ван Глаббек: «Линейный временной спектр с ветвлением во времени» (CONCUR 1993) [16]
- Сорен Кристенсен, Ханс Хюттель и Колин Стирлинг: «Эквивалентность бисимуляции разрешима для всех контекстно-свободных процессов» (CONCUR 1992) [16]
Дочерние мероприятия [ править ]
- Международная конференция по формальному моделированию и анализу временных систем (FORMATS)
- Международная конференция по количественной оценке систем (QEST)
См. также [ править ]
Ссылки [ править ]
- ^ «Конференции — IFIP WG 1.8 (Теория параллелизма)» . concurrency-theory.org . Проверено 8 февраля 2019 г.
- ^ «Шлосс Дагштуль: ЛИПИкс» . www.dagstuhl.de . Проверено 3 февраля 2019 г.
- ^ «dblp: CONCUR 2015» . dblp.org . Проверено 3 февраля 2019 г.
- ^ «dblp: Параллелизм 1988» . dblp.org . Проверено 3 февраля 2019 г.
- ^ «CORE 2021 – КОНКУР» . портал.core.edu.au . Проверено 1 апреля 2023 г.
- ^ «CONCUR — Показатели Академии Google» . ученый.google.dk . Проверено 20 июля 2019 г.
- ^ «КОНКУР 2023» . КОНКУР 2023 . Проверено 20 сентября 2023 г.
- ^ «КОНКУР 2022» . КОНКУР 2022 . Проверено 25 апреля 2023 г.
- ^ «КОНКУР 2021» . Конфест 2021 . Проверено 26 апреля 2021 г.
- ^ «КОНКУР 2020» . КОНКУР 2020 . Проверено 25 апреля 2023 г.
- ^ «КОНКУР 2019 – АМСТЕРДАМ» . event.cwi.nl . Проверено 3 февраля 2019 г.
- ^ «CONCUR 2018 – ПЕКИН» . lcs.ios.ac.cn. Проверено 3 февраля 2019 г.
- ^ «КОНКУР 2017» . www.concur2017.tu-berlin.de . Проверено 3 февраля 2019 г.
- ^ «КОНКУР2016: Главная» . www.concur2016.ulaval.ca . Проверено 3 февраля 2019 г.
- ^ Jump up to: Перейти обратно: а б с д и Бертран, Натали; де Альфаро, Лука; ван Глаббек, Роб; Паламидесси, Катусия ; Ёсида, Нобуко (2021). «Награда CONCUR Test-Of-Time 2021» (PDF) . СОГЛАСЕН . Международные труды Лейбница по информатике (LIPIcs). 203 : 1:1–1:3. doi : 10.4230/LIPIcs.CONCUR.2021.1 . ISBN 9783959772037 .
- ^ Jump up to: Перейти обратно: а б с д и Ачето, Лука; Баетен, Джос; Буйе-Децитр, Патрисия; Германнс, Хольгер; Сильва, Александра (2020). «Объявление о премии CONCUR Test-Of-Time 2020» (PDF) . СОГЛАСЕН . Международные труды Лейбница по информатике (LIPIcs). 171 : 5:1–5:3. doi : 10.4230/LIPIcs.CONCUR.2020.5 . ISBN 9783959771603 .
- ^ «Награда Concur 2023 «Испытание временем»» . Сайт Concur 2023 . Проверено 20 сентября 2023 г.
- ^ Jump up to: Перейти обратно: а б с д «Награда Concur 2022 «Испытание временем»» . Сайт Concur 2022 . Проверено 9 ноября 2022 г.