第46届IARCS软件技术与理论计算机科学

FSTTCS 2026 是第 46 届软件技术基础与理论计算机科学会议。该会议由印度计算机科学研究协会(IARCS)与ACM 印度分会联合举办，旨在为计算机科学和软件技术基础领域的原创研究成果提供展示平台。B 板块除了理论成果外，还重点征集编程语言和实践验证方面的论文。

1、组委会
组织委员会：
Keerti Choudhary（德里印度理工学院）
Minati De （印度理工学院德里分校）
Naveen Garg（印度理工学院德里分校）
Dalu Jacob （印度理工学院德里分校）
Venkata Koppula（印度理工学院德里分校）—— （联合主席）
Amit Kumar（印度理工学院德里分校）
Rajendra Kumar（印度理工学院德里分校）
Kumar Madhukar（印度理工学院德里分校）—— （联合主席）
Sanjiva Prasad （印度理工学院德里分校）
Ashutosh Rai（印度理工学院德里分校）
宣传主席：
Neeldhara Misra（印度理工学院甘地讷格尔分校）
Shibashis Guha（孟买塔塔基础研究所）
Aalok Thakkar（阿育王大学，Sonepat）

2、出版信息

被接收的论文将作为会议论文集发表在《莱布尼茨国际信息学会议录》（LIPIcs）上，该期刊是一个免费、开放的电子存档，所有人都可访问。作者保留对其作品的全部权利。被接收的论文将以CC-BY许可协议发布。

• 代数复杂度
• 算法与数据结构
• 算法图论与组合数学
• 近似算法
• 组合优化
• 沟通复杂性
• 计算几何
• 计算学习理论
• 密码学与安全
• 数据流和亚线性算法
• 经济学与计算
• 机器学习基础
• 并行、分布式和在线算法
• 参数化复杂度
• 证明复杂度
• 量子计算
• 计算中的随机性
• 计算生物学的理论方面
• 移动和高性能计算的理论方面

• 自动机、博弈和形式语言
• 计算机科学中的逻辑
• 模态逻辑和时序逻辑
• 并发、分布式和移动系统的模型
• 定时、反应式、混合式、随机式和量子系统的模型
• 有限模型理论和数据库理论
• 形式化方法
• 编程语言的原理和语义
• 项目分析与转型
• 规范、验证和综合
• 人工智能的分析与验证
• 定理证明和决策程序
• SAT 和 SMT 解
• 安全与隐私的正式分析

1、重要日期

• 摘要提交截止日期：2026年7月4日
• 提交截止日期：2026年7月11日
• 反驳阶段：2026年8月26日至28日
• 作者通知：2026年9月15日
• 会议及研讨会：2026年12月14日至20日

2、投稿指南

论文必须以电子形式通过EasyChair提交，并使用提供的 LIPIcs LaTeX 样式文件。论文正文不得超过 15 页（不含参考文献），但可以包含一个清晰标注的附录，其中包含技术细节。

[email protected]