第44届计算机科学理论方面国际研讨会

STACS 是理论计算机科学领域的经典国际会议，自1984年起每年举办，轮流在德国和法国举行。2027年为第44届，设置 Track A（算法、数据结构与复杂性）和 Track B（自动机、逻辑、语义与程序理论）两个轨道，涵盖近似算法、在线算法、参数化算法、密码学、机器学习算法、自动机理论、类型系统、程序验证等广泛方向，是理论计算机科学重要的学术交流平台。

1. 检索信息
录用论文将发表在 Leibniz International Proceedings in Informatics (LIPIcs) 开放获取系列中，由 Schloss Dagstuhl 的 Leibniz 信息中心出版。LIPIcs 系列通常被 Scopus 收录；官网未明确提及 EI Compendex 或其他检索库。

2. 出版信息
会议论文集由 LIPIcs 出版，采用开放获取模式。投稿须使用 LIPIcs 的 LaTeX 样式文件，录用后期刊版本将按该系列规范出版。

3. 组委会信息

• Track A PC chairs：Paweł Gawrychowski（Uniwersytet Wrocławski, Poland）、Meirav Zehavi（Ben Gurion University, Israel）

• Track B PC chairs：Laurent Bienvenu（CNRS and Université de Bordeaux, France）、Florin Manea（University of Göttingen, Germany）

Track A：算法、数据结构与复杂性

• 算法设计

• 近似算法

• 在线算法

• 分布式/并行算法

• 参数化算法

• 随机算法

• 算法分析

• 数据结构的组合学

• 计算几何

• 密码学

• 机器学习算法

• 算法博弈论

• 量子算法

• 计算与结构复杂性理论

• 参数化复杂性

• 计算中的随机性

Track B：自动机、逻辑、语义与程序理论

• 自动机理论

• 博弈与多智能体系统

• 代数与范畴方法

• 计算模型

• 并发

• 时间系统

• 有限模型论

• 数据库理论

• 语义学

• 类型系统

• 程序分析

• 规格说明与验证

• 重写与演绎

• 学习理论

• 可计算性与复杂性的逻辑方面

• 提交系统：EasyChair（https://easychair.org/conferences/?conf=stacs2027）

• 格式要求：使用 LIPIcs LaTeX 样式；扩展摘要或全文最多15页（不含标题页、参考文献和附录）

• 审稿方式：双盲评审；自2016年起设有反驳（rebuttal）阶段

• 重要日期：投稿截止 2026年10月11日（AoE）；反驳 2026年11月30日–12月2日；录用通知 2026年12月22日

• 双重投稿：禁止同时投递其他会议