APLAS 2025 将于 2025 年 10 月 27 日至 30 日在印度班加罗尔举行。今年的会议将与第 23 届国际自动化验证与分析技术研讨会(ATVA 2025)同期举办。

1、组委会

主席：

PRITAM MANOHARGHARAT 微软印度研究院 印度
Viraj Agashe 微软印度研究院 印度

程序委员会主席：

Alex Potanin 澳大利亚国立大学

2、出版信息

会议论文集将由 Springer 出版并收录于 Lecture Notes in Computer Science，允许通过 SpringerLink、DBLP、Scopus 等平台检索；如需联系组委会，可通过大会官网提供的联系表单（conf.researchr.org 上的 Contact 页面）与组委沟通。

• 编程范式和风格：函数式、面向对象、概率式、逻辑式、约束编程；可扩展编程语言；系统代码的编程语言；新颖的编程范式；
• 指定和推理程序和语言的方法和工具：编程技术；元编程；领域特定语言；证明助手；类型系统；依赖类型；程序逻辑、静态和动态程序分析；基于语言的安全性；模型检查；测试；
• 编程语言基础：形式语义；类型理论；逻辑基础；范畴论；自动机；效果；单子和共单子；递归和共递归；延续和效果处理程序；程序验证；内存模型；抽象解释；
• 实施方法和工具：编译器；程序转换；重写系统；部分评估；虚拟机；重构；中间语言；运行时环境；垃圾收集和内存管理；跟踪；分析；构建系统；程序合成；
• 并发和分布：过程代数；并发理论；会话类型；并行编程；面向服务的计算；分布式和移动计算；基于参与者的语言；并发和分布式系统的验证和测试；
• 应用和新兴主题：教育、安全、隐私、数据库系统、计算生物学、信号处理、图形、人机交互、计算机辅助设计、人工智能和机器学习中的编程语言和 PL 方法；程序分析和验证中的案例研究。

1、提交信息

投稿论文篇幅不得超过 17 页（不含参考文献），采用 Springer LNCS 格式。LaTeX 模板可在Springer 的“作者信息”页面获取。录用的论文将额外增加一页，用于填写审稿人的反馈意见。供审稿人参考但不会在最终版本中发表的补充材料（例如，校样细节）可以放在清晰标注的附录中，且不受页数限制。但是，论文必须在没有附录的情况下也能理解。审稿人没有义务对其进行审阅。
提交的论文必须未发表，且未提交给其他机构发表。论文必须以英文撰写。被录用的论文必须在会议上进行展示。更多详情，请参阅Springer Nature 作者行为准则。

2、最佳论文奖

APLAS延续最佳论文奖的传统。获奖结果将在本网站公布，并在大会现场向获奖作者颁发纸质证书。

3、重要时间

作者回复期:2025 年 7 月 7 日（星期一）至 9 日（星期三）
录取通知:2025年7月18日星期五
相机就绪截止日期:2025 年 8 月 31 日星期日
提交截止日期:2025年6月7日星期六

pritamgharat@microsoft.com