Full papers
Original, unpublished research papers reporting results or experience in concurrency theory and applications, submitted as PDF via EasyChair, not exceeding 15 pages (excluding references and appendices) in LIPIcs style.
Theory/CORE B
CONCUR 2026
International Conference on Concurrency Theory
CONCUR 2026, the 37th International Conference on Concurrency Theory, brings together researchers to advance the theory and applications of concurrent systems. It is co-located with QEST+FORMATS, FMICS, and several workshops under CONFEST 2026, featuring invited talks, test-of-time awards, and paper presentations on concurrency semantics, logics, verification, and related areas.
Key deadlines
Verified September 9, 2026Abstract registration
April 21, 2026
AoE
Full paper
April 28, 2026
AoE
Conference timeline
Submission and decisions
Abstract registrationKey deadline
April 21, 2026 · AoE
Full paperKey deadline
April 28, 2026 · AoE
Paper fit
Contribution paths
A strong submission should clearly identify its contribution and evaluate it appropriately.
Special issue papers
Selected papers from CONCUR 2026 will be invited for publication in a special issue of Logical Methods in Computer Science.
Research areas in scope
01
Basic models of concurrency
abstract machinesdomain-theoretic modelscategorical and coalgebraic modelsgame-theoretic modelsparametric modelsprocess algebrasgraph transformation systemsPetri netshybrid systemsmobile and collaborative systemsprobabilistic systemsreal-time systemsquantum systemsbiology-inspired systemssynchronous systems
02
Logics for concurrency
modal logicsprogram logicsprobabilistic and stochastic logicstemporal logicsmulti-agent logicsresource logics
03
Verification and analysis techniques
abstract interpretationatomicity checkingmodel checkingrace detectionpre-order and equivalence checkingrun-time verificationstate-space explorationstatic analysissynthesistestingtheorem provingtype systemssecurity analysis
04
Distributed/parallel algorithms and concurrent data structures
designanalysiscomplexitycorrectnessfault tolerancereliabilityavailabilityconsistencyself-organizationself-stabilizationcommitment schemescommunication protocols
05
Theoretical foundations, tools, and empirical evaluations
geo-replicated systemsdistributed ledgerscommunication networksmultiprocessor and multi-core architecturesquantum computingquantum communicationshared and transactional memoryresource management and awarenesscompilers and tools for concurrent programmingcomponent-based programmingobject- and service-oriented programming
Policies worth checking twice
- Papers must be original, unpublished, and not submitted elsewhere.
- Submissions follow a single-blind review process.
- Papers must not exceed 15 pages (excluding references and appendices) in LIPIcs style.
- An appendix may be included but is not expected to be scrutinized and will not be published.
- PC members are allowed to submit, but PC-coauthored papers cannot be selected in the final vote on borderline papers.
- Proceedings will be published by LIPIcs using their official style files.
Official sources
Compiled from the official call for papers. The organizers’ pages remain authoritative.
Last verified September 9, 2026