학회 정보

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   조회: 39693   팔로우: 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

아직 댓글이 없습니다.

댓글을 작성하려면 로그인해 주세요