仅收录五年以上有检索的国际会议

平台仅发布5年以上有检索的会议
保障会议真实有效

会议简介 Brief Introduction01

STACS 2025 包含两个方向。A 方向侧重于算法、数据结构和复杂性。B 方向侧重于自动机、逻辑、语义和编程理论。

重要信息 Highlights02

1、组委会

联合主席:

Nguyen Kim Thang(格勒诺布尔-阿尔卑斯大学)
Michał Pilipczuk(华沙大学)
PC 成员:

安东尼奥斯·安东尼亚迪斯(特文特大学)
克里斯蒂安·科斯特(牛津大学)
Johanne Cohen(法国国家科学研究中心、巴黎萨克雷大学)
Arnaud de Mesmay(法国国家科学研究中心、古斯塔夫埃菲尔大学)
Holger Dell(法兰克福歌德大学和哥本哈根信息技术大学)
Omar Fawzi(Inria,里昂高等商学院)
Paweł Gawrychowski(弗罗茨瓦夫大学)
卡拉·格罗兰德(代尔夫特理工大学)
黄志毅(香港大学)
巴特·詹森(埃因霍温理工大学)
Tuukka Korhonen(哥本哈根大学)
Jakub Łącki(谷歌研究院,纽约)
Hung Le(马萨诸塞大学阿默斯特分校)
Lars Rohwedder(马斯特里赫特大学)
拉胡尔·桑塔南(牛津大学)
谢伊·所罗门(特拉维夫大学)
塔蒂亚娜·斯塔里科夫斯卡娅(巴黎高等师范学院)
Jukka Suomela(阿尔托大学)
Jakub Tarnawski(微软研究院)
Torsten Ueckerdt(卡尔斯鲁厄理工学院)
Jan van den Brand(佐治亚理工学院)
Karol Węgrzycki(萨尔大学和 MPI)
Andreas Wiese(慕尼黑工业大学)

征稿主题 Call for Paper03

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

  • 并行算法设计
  • 分布式算法
  • 近似算法
  • 参数化算法
  • 随机算法
  • 算法分析
  • 数据结构的组合学
  • 计算几何
  • 密码学
  • 机器学习算法
  • 算法博弈论
  • 量子算法
  • 计算和结构复杂性理论
  • 参数化复杂性
  • 计算中的随机性

B.自动机、逻辑、语义和编程理论

  • 自动机理论
  • 游戏和多智能体系统
  • 代数和分类方法
  • 计算模型
  • 并发
  • 计时系统
  • 有限模型理论
  • 数据库理论
  • 语义
  • 类型系统
  • 程序分析
  • 规范和验证
  • 重写和推演
  • 学习理论
  • 可计算性和复杂性的逻辑方面

会议投稿 Conference submission 04

1、重要时间

  • 提交截止日期:2024年9月26日
  • 反馈给作者:2024 年 11 月 15 日
  • 反驳:2024年11月21日
  • 作者通知:2024 年 12 月 16 日
  • 相机就绪版本:2025 年 1 月
  • 会前研讨会:2025年3月3日至4日
  • 会议:2025年3月4日至7日

2、提交格式

欢迎作者提交最多 15 页的扩展摘要或全文;此页数限制不包括标题页、参考文献部分以及可能的附录。标题页应包含论文标题和摘要,但不包含作者信息。论文的第一部分应从下一页开始,附录(如有)也应从参考文献后的下一页开始。
准备投稿时,必须使用 LIPIcs 样式文件;不得更改字体大小、页面布局等。请参阅LIPIcs 作者须知。截止日期后提交的投稿将不予考虑,不符合要求格式的投稿可能会被拒稿,且不考虑内容。投稿应提交至合适的分会。如有需要,PC 保留将论文重新分配至其他分会的权利。
扩展摘要应简洁地阐述所考虑的问题及其动机,总结主要结果,并简要解释其重要性,以便非专业读者理解。之后,应对所声称的结果进行严格的推导。由于篇幅限制而省略的证明应放入附录中,供程序委员会成员自行阅读。允许并鼓励将论文的完整版本作为附录提供。不允许同时向其他已出版论文集的会议或期刊投稿。除 PC 主席外,PC 成员也可以提交其作品。

3、双盲审查

与往年一样,STACS 2025 将采用轻量级双盲评审流程:投稿不应以任何方式泄露作者身份。双盲评审的目的是帮助 PC 成员和外部审稿人不带偏见地对论文做出初步判断,而不是让他们即使试图发现作者也无从得知。任何以匿名为名的举动都不应削弱投稿的权威性或增加论文评审工作的难度。尤其不应省略或匿名化重要的参考文献。此外,作者应像往常一样自由地传播他们的想法或论文草稿。例如,作者可以在网上发布论文草稿,将其提交给 arXiv,并就他们的研究思路进行演讲。