Międzynarodowa konferencja na temat teorii współbieżności

Międzynarodowa konferencja na temat teorii współbieżności
Skrót	PRZYZNAĆ
Dyscyplina	konkurencja
Szczegóły publikacji
Wydawca	LIPICS , notatki z wykładów z informatyki
Historia	1984-obecnie
Częstotliwość	Rocznie

Konferencja Teorii Współbieżności ( CONCUR ) to konferencja naukowa w dziedzinie informatyki , skupiająca się na teorii współbieżności i jej zastosowaniach. Jest to flagowa konferencja poświęcona teorii współbieżności według Międzynarodowej Federacji Przetwarzania Informacji Grupy Roboczej ds. Teorii Współbieżności ( WP 1.8 ). Konferencja organizowana jest corocznie od 1988 r. Od 2015 r. referaty prezentowane na CONCUR są publikowane w czasopiśmie LIPIcs – Leibniz International Proceedings in Informatics , „seria wysokiej jakości materiałów konferencyjnych ze wszystkich dziedzin informatyki, utworzona we współpracy z Schloss Dagstuhl – Leibniz Center for Informatics”. Wcześniej artykuły CONCUR były publikowane w serii Lecture Notes in Computer Science .

• Według CORE Ranking , CONCUR ma rangę A („doskonała konferencja i bardzo szanowana w dziedzinie”).
• Według Google Scholar Metrics (stan na 20 lipca 2019 r.) CONCUR ma indeks H5 21 i medianę H5 34.

Wydania

• 32. CONCUR 2021: Paryż, Francja Online
• 31. CONCUR 2020: Wiedeń, Austria Online
• 30. CONCUR 2019: Amsterdam, Holandia
• 29. CONCUR 2018: Pekin, Chiny
• 28. CONCUR 2017: Berlin, Niemcy
• 27. CONCUR 2016: Québec City, Kanada
• 26. CONCUR 2015: Madryt, Hiszpania
• 25. CONCUR 2014: Rzym, Włochy
• 24. CONCUR 2013: Buenos Aires, Argentyna
• 23. CONCUR 2012: Newcastle upon Tyne, Wielka Brytania
• 22. CONCUR 2011: Akwizgran, Niemcy
• 21. CONCUR 2010: Paryż, Francja
• 20. CONCUR 2009: Bolonia, Włochy
• 19 CONCUR 2008: Toronto, Kanada
• 18. CONCUR 2007: Lizbona, Portugalia
• 17 CONCUR 2006: Bonn, Niemcy
• 16 CONCUR 2005: San Francisco, Kalifornia, USA
• 15. CONCUR 2004: Londyn, Wielka Brytania
• 14 CONCUR 2003: Marsylia, Francja
• XIII CONCUR 2002: Brno, Czechy
• 12. CONCUR 2001: Aalborg, Dania
• 11. CONCUR 2000: Pennsylvania State University, Pensylwania, USA
• 10. CONCUR 1999: Eindhoven, Holandia
• 9. CONCUR 1998: Nicea, Francja
• VIII CONCUR 1997: Warszawa, Polska
• 7. CONCUR 1996: Piza, Włochy
• VI CONCUR 1995: Filadelfia, Pensylwania, USA
• V CONCUR 1994: Uppsala, Szwecja
• IV CONCUR 1993: Hildesheim, Niemcy
• III CONCUR 1992: Stony Brook, NY, USA
• II CONCUR 1991: Amsterdam, Holandia
• I CONCUR 1990: Amsterdam, Holandia
• Współbieżność: teoria, język i architektura 1989: Oxford, Wielka Brytania
• Współbieżność 1988: Hamburg, Niemcy
• Seminarium na temat współbieżności 1984: Pittsburgh, PA, USA

Nagroda za próbę czasu

W 2020 r. Międzynarodowa Konferencja Teorii Współbieżności (CONCUR) i Grupa Robocza IFIP 1.8 ds. Teorii Współbieżności ustanowiły nagrodę CONCUR Test-of-Time Award. Celem nagrody jest uznanie ważnych osiągnięć w teorii współbieżności, które przetrwały próbę czasu i zostały opublikowane w CONCUR od pierwszej edycji w 1990 roku.

Począwszy od CONCUR 2024, co dwa lata będzie odbywać się rozdanie nagród, w ramach którego wyróżniony zostanie jeden lub dwa artykuły prezentowane na CONCUR w okresie 4 lat od 20 do 17 lat wcześniej. Od 2020 do 2023 roku co roku łączone są dwie takie gale wręczenia nagród, aby docenić również osiągnięcia, które pojawiły się we wczesnych edycjach CONCUR.

2022

Okres 2000–2003

• Luca de Alfaro, Marco Faella, Thomas A. Henzinger , Rupak Majumdar i Mariëlle Stoelinga: „Element zaskoczenia w grach na czas”. (CONCUR 2003)
• James J. Leifer i Robin Milner : „Wyprowadzanie kongruencji bisymulacji dla systemów reaktywnych”. (CONCUR 2000)

Okres 1998–2001

• Franck Cassez i Kim Larsen: „Imponująca moc stoperów” (CONCUR 2000)
• Christel Baier , Joost-Pieter Katoen i Holger Hermanns: „Przybliżone sprawdzanie modelu symbolicznego łańcuchów Markowa w czasie ciągłym”. (ZGODNOŚĆ 1999)

2021

Okres 1996–1999

• Rajeev Alur , Thomas A. Henzinger , Orna Kupferman i Moshe Y. Vardi : „Naprzemienne relacje wyrafinowania” (CONCUR 1998)
• Ahmed Bouajjani, Javier Esparza i Oded Maler: „Analiza osiągalności automatów przesuwania: zastosowanie do sprawdzania modeli” (CONCUR 1997)

Okres 1994–1997

• Uwe Nestmann i Benjamin C. Pierce : „Dekodowanie kodowań wyboru” (CONCUR 1996)
• David Janin i Igor Walukiewicz: „O ekspresyjnej kompletności mu-rachunku zdań w odniesieniu do monadycznej logiki drugiego rzędu”. (CONCUR 1996)

2020

Okres 1992–1995

• Roberto Segala i Nancy Lynch : „Probabilistyczne symulacje procesów probabilistycznych” (CONCUR 1994)
• Davide Sangiorgi : „Teoria bisymulacji dla rachunku pi-calculus” (CONCUR 1993)

Okres 1990–1993

• Rob van Glabbeek: „Liniowe widmo czasu rozgałęzionego w czasie” (CONCUR 1993)
• Søren Christensen, Hans Hüttel i Colin Stirling: „Równoważność bisymulacji jest rozstrzygalna dla wszystkich procesów bezkontekstowych” (CONCUR 1992)

Imprezy stowarzyszone

• Międzynarodowa konferencja na temat formalnego modelowania i analizy systemów czasowych (FORMATS)
• Międzynarodowa konferencja na temat ilościowej oceny systemów (QEST)

Zobacz też

• Lista konferencji informatycznych
• Lista akronimów konferencji informatycznych
• Lista publikacji z informatyki
• Zarys informatyki

Linki zewnętrzne

• DBLP Strona Konferencji CONCUR