会议信息

CONCUR 2026: International Conference on Concurrency Theory

请登录查看会议网址
免费注册：查看官网链接、跟踪截稿日期，并接收邮件提醒。
登录 注册
嵌入截止倒计时徽章
CONCUR
截稿日期:
2026-04-20
通知日期:
2026-06-15
会议日期:
2026-09-01
会议地点:
Liverpool, UK
届数:
37
CCF: B   ICORE: B   QUALIS: A2   浏览: 39731   关注: 24   参加: 1

征稿

CONCUR 2026 (International Conference on Concurrency Theory) is a CCF B / ICORE B / 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%

相关会议

CCFICORE简称全称截稿日期通知日期会议日期
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
BICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13
BAICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
BBIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-09-252026-12-01
BA*ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
BA*ECCVEuropean Conference on Computer Vision2026-03-062026-05-092026-09-08
BADATEDesign, Automation and Test in Europe2026-09-072026-11-102027-03-22
BA*KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20

相关期刊

CCF全称影响因子出版商ISSN
Concurrency Computation Practice and Experience1.5Wiley1532-0626
CConcurrency and Computation: Practice and Experience2.2Wiley1532-0634
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255
BComputer Networks4.6Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
BJournal of Systems and Software4.1Elsevier0164-1212

评论 0

暂无评论。

请登录后发表评论