# CONCUR — International Conference on Concurrency Theory

- **Submission deadline**: 2026-04-20
- **Notification date**: 2026-06-15
- **Conference date**: 2026-09-01
- **Location**: Liverpool, UK
- **Rankings**: CCF B · CORE B · QUALIS A2
- **Conference Partner Index**: 82.4/100 (ranked #162, confidence 1.00, algorithm 1.1) — how this is computed: https://www.myhuiban.com/ranking
- **Trackers**: 24
- **Attendees**: 1
- **Canonical page**: https://www.myhuiban.com/conference/258

## Acceptance history

| Year | Submitted | Accepted | Rate |
|---|---|---|---|
| 2006 | 101 | 29 | 28.7% |
| 2005 | 100 | 38 | 38% |
| 2004 | 134 | 29 | 21.6% |
| 2003 | 107 | 29 | 27.1% |
| 2002 | 101 | 32 | 31.7% |
| 2001 | 78 | 32 | 41% |
| 2000 | 72 | 34 | 47.2% |
| 1999 | 91 | 32 | 35.2% |
| 1998 | 104 | 35 | 33.7% |
| 1997 | 41 | 24 | 58.5% |

## Call for papers

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.

## Related conferences

- ICRA — International Conference on Robotics and Automation — https://www.myhuiban.com/conference/421
- IJCAI — International Joint Conference on Artificial Intelligence — https://www.myhuiban.com/conference/405
- ICASSP — International Conference on Acoustics, Speech and Signal Processing — https://www.myhuiban.com/conference/429
- PODS — ACM SIGMOD Conference on Principles of DB Systems — https://www.myhuiban.com/conference/138
- ICME — International Conference on Multimedia and Expo — https://www.myhuiban.com/conference/278

## Related journals

- Concurrency Computation Practice and Experience — https://www.myhuiban.com/journal/920
- Concurrency and Computation: Practice and Experience — https://www.myhuiban.com/journal/16
- Software & Systems Modeling — https://www.myhuiban.com/journal/99
- Pattern Recognition — https://www.myhuiban.com/journal/198
- IEEE Transactions on Neural Networks and Learning Systems — https://www.myhuiban.com/journal/188

---
Source: Conference Partner — https://www.myhuiban.com/conference/258 (rankings reproduced from CCF / ICORE / QUALIS; data cached up to 1 hour)