Jump to content

Международная конференция по теории параллелизма

Международная конференция по теории параллелизма
Аббревиатура КОНКУР
Дисциплина параллелизм
Подробности публикации
Издатель 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 гг. [ править ]

Период 1998–2001 гг. [ править ]

  • Франк Кассез и Ким Ларсен: «Впечатляющая сила секундомеров» (CONCUR 2000) [18]
  • Кристель Байер , Йост-Питер Катоен и Хольгер Херманнс: «Приблизительная проверка символической модели цепей Маркова с непрерывным временем». (КОНКУР 1999 г.) [18]

2021 [ править ]

Период 1996–1999 гг. [ править ]

Период 1994–1997 . гг

  • Уве Нестманн и Бенджамин К. Пирс : «Декодирование кодировок выбора» (CONCUR 1996) [15]
  • Дэвид Джанин и Игорь Валукевич: «О выразительной полноте пропозиционального мю-исчисления относительно монадической логики второго порядка». (КОНКУР 1996 г.) [15]

2020 [ править ]

Период 1992–1995 . гг

Период 1990–1993 . гг

  • Роб ван Глаббек: «Линейный временной спектр с ветвлением во времени» (CONCUR 1993) [16]
  • Сорен Кристенсен, Ханс Хюттель и Колин Стирлинг: «Эквивалентность бисимуляции разрешима для всех контекстно-свободных процессов» (CONCUR 1992) [16]

Дочерние мероприятия [ править ]

  • Международная конференция по формальному моделированию и анализу временных систем (FORMATS)
  • Международная конференция по количественной оценке систем (QEST)

См. также [ править ]

Ссылки [ править ]

  1. ^ «Конференции — IFIP WG 1.8 (Теория параллелизма)» . concurrency-theory.org . Проверено 8 февраля 2019 г.
  2. ^ «Шлосс Дагштуль: ЛИПИкс» . www.dagstuhl.de . Проверено 3 февраля 2019 г.
  3. ^ «dblp: CONCUR 2015» . dblp.org . Проверено 3 февраля 2019 г.
  4. ^ «dblp: Параллелизм 1988» . dblp.org . Проверено 3 февраля 2019 г.
  5. ^ «CORE 2021 – КОНКУР» . портал.core.edu.au . Проверено 1 апреля 2023 г.
  6. ^ «CONCUR — Показатели Академии Google» . ученый.google.dk . Проверено 20 июля 2019 г.
  7. ^ «КОНКУР 2023» . КОНКУР 2023 . Проверено 20 сентября 2023 г.
  8. ^ «КОНКУР 2022» . КОНКУР 2022 . Проверено 25 апреля 2023 г.
  9. ^ «КОНКУР 2021» . Конфест 2021 . Проверено 26 апреля 2021 г.
  10. ^ «КОНКУР 2020» . КОНКУР 2020 . Проверено 25 апреля 2023 г.
  11. ^ «КОНКУР 2019 – АМСТЕРДАМ» . event.cwi.nl . Проверено 3 февраля 2019 г.
  12. ^ «CONCUR 2018 – ПЕКИН» . lcs.ios.ac.cn. ​Проверено 3 февраля 2019 г.
  13. ^ «КОНКУР 2017» . www.concur2017.tu-berlin.de . Проверено 3 февраля 2019 г.
  14. ^ «КОНКУР2016: Главная» . www.concur2016.ulaval.ca . Проверено 3 февраля 2019 г.
  15. ^ 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 .
  16. ^ 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 .
  17. ^ «Награда Concur 2023 «Испытание временем»» . Сайт Concur 2023 . Проверено 20 сентября 2023 г.
  18. ^ Jump up to: Перейти обратно: а б с д «Награда Concur 2022 «Испытание временем»» . Сайт Concur 2022 . Проверено 9 ноября 2022 г.

Внешние ссылки [ править ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 6c69536512c2905653b077d1db847f84__1717707480
URL1:https://arc.ask3.ru/arc/aa/6c/84/6c69536512c2905653b077d1db847f84.html
Заголовок, (Title) документа по адресу, URL1:
International Conference on Concurrency Theory - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)