FSTTCS 2025 是第 45 届软件技术和理论计算机科学基础会议。它由印度计算机科学研究协会 （IARCS） 与 ACM India 联合举办。它是一个展示计算机科学和软件技术基础方面的原始成果的论坛。

FSTTCS 2025 将于 2025 年 12 月 17 日至 19 日在 KK Birla Goa 校区的 BITS Pilani 举行。该会议以现场活动的形式组织。

1.组委会

大会主席
Siddharth Gupta（BITS Pilani，KK Birla 果阿校区）

Track A 主席
Ruta Mehta（伊利诺伊大学厄巴纳-香槟分校）

Track B 联合主席
C Aiswarya （钦奈数学研究所）
Sophie Pinchinat （雷恩大学）
Subhajit Roy （印度理工学院坎普尔分校）

2.出版与检索信息

出版渠道：会议接收的论文将作为免费开放获取记录收录于 LIPIcs（Leibniz International Proceedings in Informatics）系列 

检索类型：将被收录于 DBLP、Scopus、EI Compendex、Web of Science、Google Scholar 等主流学术数据库

轨道 A

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

轨道 B

• 自动机、游戏和形式语言
• 形式化方法
• 计算机科学中的逻辑
• 模态和时间逻辑
• 并发、分布式和移动系统模型
• 定时、反应式、混合、随机和量子系统模型
• 模型理论
• 编程语言的原理和语义
• 项目分析和转型
• SAT 和 SMT 解决方案
• 安全协议
• 规范、验证和综合
• 定理证明和决策程序

1.投稿须知

• 投稿网址：https://easychair.org/my/conference?conf=fsttcs2025
• 提交必须通过 EasyChair 以电子形式提交，使用https://submission.dagstuhl.de/documentation/authors提供的 LIPIcs LaTeX 样式文件。
• 提交的内容不得超过 15 页（不包括参考书目），但可以包括一个明确标记的附录，其中包含技术细节。
• 双盲审核：请确保作者的身份不会轻易从提交的内容本身中泄露

2.重要日期

• 论文提交截止日期：2025 年 7 月 11 日 AoE
• 反驳意见：2025 年 8 月 26 日至 28 日
• 作者通知：2025 年 9 月 15 日
• 定稿的截止日期：待定
• 会前研讨会：2025 年 12 月 15 日至 16 日
• FSTTCS 2025：2025 年 12 月 17 日至 19 日
• 会后研讨会：2025 年 12 月 20 日

rutameht@illinois.edu