际并发理论会议（CONCUR2026）

   第37届国际并发理论会议（CONCUR）汇聚了研究人员、开发者和学生，旨在推动并发理论的发展并推广其应用。 2026年举办的活动将与QEST+FORMATS、FMICS及多个研讨会共同举办，并以联合名称CONFEST 2026举办，会议将于2026年9月1日至5日在英国利物浦大学举行。

• 帕罗什·阿卜杜拉，瑞典乌普萨拉大学
• 乔治奥·巴奇，丹麦奥尔堡大学
• Christel Baier，德国德累斯顿工业大学
• 保罗·巴尔丹，意大利帕多瓦大学
• 娜塔莉·贝特朗，法国雷恩INRIA
• 劳拉·博奇，英国肯特大学
• 菲利波·邦奇，意大利比萨大学
• 瓦伦蒂娜·卡斯蒂廖尼，荷兰埃因霍温理工大学
• 德米特里·奇斯季科夫，英国华威大学
• 科琳娜·西尔斯特亚，英国南安普顿大学
• 沃伊切赫·切尔文斯基，波兰华沙大学
• 哈维尔·埃斯帕尔萨，德国慕尼黑工业大学
• 本杰明·卡明斯基，萨尔兰大学和伦敦大学学院，德国/英国
• 托比亚斯·卡佩，荷兰莱顿大学
• 斯特凡·基弗，英国牛津大学
• 芭芭拉·柯尼希，德国杜伊斯堡-埃森大学
• 安东宁·库切拉，捷克共和国马萨里克大学
• 李永，SKLCS 北京，中国

在并发系统的理论与实践领域征集投稿。该 主要主题包括（但不限于）：

• 并发的基本模型，如抽象机、域论 模型、范畴和余代数模型、博弈论模型、参数模型 模型、过程代数、图变换系统、Petri网、混合型 系统、移动与协作系统、概率系统、实时系统 系统、量子系统、生物学启发系统和同步系统;

• 并发逻辑，如模态逻辑、程序逻辑、概率逻辑 以及随机逻辑、时间逻辑、多智能体逻辑和资源逻辑 逻辑;

• 并发系统的验证与分析技术，如抽象 解释、原子性检查、模型检查、种族检测、预购 以及等价检查、运行时验证、状态-空间探索， 静态分析、综合、测试、定理证明、类型系统，以及 安全分析;

• 分布式/并行算法与并发数据结构：设计， 分析、复杂性、正确性、容错性、可靠性、可用性， 一致性、自我组织、自我稳定、承诺方案， 通信协议;

• 理论基础、工具与架构的实证评估， 执行环境，以及并发系统的软件开发，例如： 地理复制系统、分布式账本、通信网络， 多处理器与多核架构、量子计算、量子 通信、共享与事务内存、资源管理以及 意识、并发编程编译器和工具、编程模型 例如基于组件的、面向对象和面向服务的。

1、重要日期

• 摘要提交截止日期： 2026年4月20日（AoE时间）

• 论文全文提交截止日期： 2026年4月27日（AoE时间）

• 作者回复/反驳期： 2026年6月1日 – 3日（AoE时间）

• 录用通知发放日期： 2026年6月15日（AoE时间）

• 最终版（Camera Ready）提交截止日期： 2026年6月29日（AoE时间）

• 主会议日期： 2026年9月1日 – 4日

• 研讨会（Workshops）日期： 2026年9月5日

2‘论文投稿

• 所有论文必须是原创、未发表且不得提交其他发表的。
• 每篇论文都将经过严格的评审过程。
• 论文必须通过EasyChair（https://easychair.org/conferences?conf=concur2026）以PDF格式电子提交。
• 会议论文集将由LIPIcs出版;请在准备投稿时使用他们的风格文件（https://drops.dagstuhl.de/entities/series/LIPIcs#author）。
• 提交采用单盲程序。
• 论文不得超过15页（不包括参考文献和附录，采用LIPIC风格）
• 附录可能提供额外材料和证据，但不应期望被评审者审查，也不会在会议论文集中发表。
• PC成员可以提交。但如果进入最后几篇论文的最终投票，PC合著论文将无法被选中。

[email protected]