中国计算机学会（CCF）推荐学术会议-C（计算机科学理论）：STACS 2026

STACS 2026

The 43rd International Symposium on Theoretical Aspects of Computer Science will take place from March 10 to March 13, 2026 in Grenoble, France.

STACS 2026 consists of two tracks. Track A focuses on algorithms, data structures and complexity. Track B focuses on automata, logic, semantics, and theory of programming.

所属领域：计算机科学理论

CCF推荐：C

录用率：23.1%（2020年）

时间地点：2026年3月10日-格勒诺布尔·法国

会议主题

A.算法设计、数据结构和复杂性

近似算法

在线算法

分布式/并行算法

参数化算法

随机算法

算法分析

数据结构的组合

计算几何

密码学

机器学习算法

算法博弈论

量子算法

计算和结构复杂性理论

参数化复杂度

计算中的随机性

B.自动机、逻辑、语义学和程序设计理论

自动机理论

游戏和多智能体系统

代数和范畴方法

计算模型

并发

定时系统

有限模型理论

数据库理论

语义学

类型系统

程序分析

规格与验证

重写和扣除

学习理论

可计算性和复杂性的逻辑方面