会議情報

CONCUR 2026: International Conference on Concurrency Theory

会議のウェブサイトを表示するにはログインしてください
無料登録で公式サイトの閲覧、締切のトラッキング、メールリマインダーが利用できます。
ログイン 新規登録

投稿締切日:
2026-04-20
通知日:
2026-06-15
開催日:
2026-09-01
開催地:
Liverpool, UK
開催回数:
37
CCF: b   CORE: a   QUALIS: a2   閲覧: 38965   フォロー: 24   参加: 1

論文募集

CONCUR 2026 (International Conference on Concurrency Theory) is a CCF B / CORE A / QUALIS A2 conference held in Liverpool, UK on 2026-09-01. The paper submission deadline is 2026-04-20. Acceptance notifications are sent on 2026-06-15.

Topics Submissions are solicited in the theory and practice of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, categorical and coalgebraic models, game-theoretic models, parametric models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, quantum systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, program logics, probabilistic and stochastic logics, temporal logics, multi-agent logics, and resource logics; Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, type systems, and security analysis; Distributed/parallel algorithms and concurrent data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, commitment schemes, communication protocols; Theoretical foundations, tools, and empirical evaluations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, distributed ledgers, communication networks, multiprocessor and multi-core architectures, quantum computing, quantum communication, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.
最終更新：Dou Sun（）

採択率

平均採択率: 35.5% 11 年間 (1996–2006).

年投稿数採択数採択率(%)
20061012928.7%
20051003838%
20041342921.6%
20031072927.1%
20021013231.7%
2001783241%
2000723447.2%
1999913235.2%
19981043533.7%
1997412458.5%
19961333727.8%

これを見た人はこちらも見ています

CCFCOREQUALIS略称正式名称投稿締切通知日開催日
baa1ICNPInternational Conference on Network Protocols2026-05-152026-07-212026-10-05
baa2ICPPInternational Conference on Parallel Processing2026-04-242026-06-302026-09-28

関連会議

CCFCOREQUALIS略称正式名称投稿締切通知日開催日
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
bba1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
ba*a1PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13
bba1ICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
bb4BIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-09-252026-12-01
ba*a1ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
baa1ECCVEuropean Conference on Computer Vision2026-03-062026-05-092026-09-08
bba1DATEDesign, Automation and Test in Europe2025-09-152025-11-192026-04-20
ba*a1SIGMETRICSInternational Conference on Measurement and Modeling of Computer Systems2027-01-112027-03-102027-06-07
ba*a2KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20

関連ジャーナル

CCF正式名称インパクトファクター出版社ISSN
Concurrency Computation Practice and Experience1.5Wiley-Blackwell1532-0626
cConcurrency and Computation: Practice and Experience1.5John Wiley & Sons, Ltd1532-0634
bIEEE Transactions on Multimedia9.7IEEE1520-9210
bSoftware & Systems Modeling3.2Springer1619-1366
bPattern Recognition7.6Elsevier0031-3203
bIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
bInformation Sciences6.8Elsevier0020-0255
bComputer Networks4.6Elsevier1389-1286
bComputers & Security5.4Elsevier0167-4048
bIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050

コメント 0

まだコメントはありません。

コメントするにはログインしてください

広告