ACM SIGPLAN 国际函数式编程大会 (ICFP) 是一年一度的编程语言大会，为研究人员和开发者提供了一个交流平台，让他们了解函数式编程的设计、实现、原理和应用方面的最新成果。大会涵盖了从实践到理论的方方面面，甚至包括其周边领域。

1、组委会

总主席：llya Sergey 新加坡国立大学 

项目主席：DominiqueDevriese 鲁汶大学

研讨会联合主席：Ben Greenman 美国犹他大学；Chandrakana Nandi 切尔托拉

工件评估联合主席：Benoît Montagu

文物评估联合主席：Lionel Parreaux 香港科技大学

赞助联合主席：Martin Kellogg 新泽西理工学院

• 语言设计：并发、并行和分布；模块化；组件和组合；元编程；宏；模式匹配；类型系统；类型推断；依赖类型；效果类型；渐进类型；细化类型；会话类型；互操作性；领域特定语言；命令式编程；面向对象编程；逻辑编程；概率编程；反应式编程；泛型编程；双向编程。

• 实现：抽象机；虚拟机；解释；编译；编译时和运行时优化；垃圾收集和内存管理；运行时系统；多线程；利用并行硬件；与外部功能、服务、组件或低级机器资源的接口。

• 软件开发技术：算法和数据结构；设计模式；规范；验证；确认；证明助手；调试；测试；跟踪；分析；构建系统；程序综合。

• 基础：形式语义；lambda演算；程序等价；重写；类型理论；逻辑；范畴论；计算效应；延续；控制；状态；名称和绑定；程序验证。

• 分析与转换：控制流；数据流；抽象解释；部分评估；程序计算。

• 应用：符号计算；形式方法工具；人工智能；系统编程；分布式系统和网络编程；硬件设计；数据库；科学和数值计算；图形用户界面；图形和多媒体；GPU 编程；脚本；系统管理；安全。

• 教育：教授入门编程；数学证明；代数。

1、形式：

PACMPL (ICFP) 征集函数式编程的设计、实现、原理和用途方面的投稿，涵盖从实践到理论的整个工作领域，包括其边缘领域。本期 PACMPL 上发表论文的作者将在现场会议上展示他们的工作，为研究人员和开发人员提供一个了解函数式编程最新成果的机会。

2、投稿须知：

稿论文中作者必须省略姓名和机构。此外，引用作者本人先前工作时，应使用第三人称（例如，不要使用“我们基于先前工作……”，而应使用“我们基于……的工作”）。

3、审查流程：

与去年一样，ICFP 2025 将采用完全双盲评审流程。更多信息请参见下文。ICFP 2025 将设有一名副主席，协助 PC 主席监督审查，在委员会缺乏足够专业知识时征求外部专家对提交内容的审查，并促进审查员的讨论。ICFP 2025 将采用两阶段评审流程。第一阶段将根据上述标准评估提交的论文，并在前述作者回复期内收集对初步评审的反馈意见。评审结果将决定一批论文被有条件接受，其余论文将被拒绝。作者将于 2025 年 5 月 23 日收到相关决定通知。有条件接受的论文作者将收到委员会的评审意见以及一系列强制性修改。作者应于2025年6月12日前提交第二次修改后的论文。第二次也是最后一次评审阶段将评估作者是否充分处理了强制性修改，从而决定论文的最终接受/拒绝状态。我们期望强制性修改能够在三周内得到切实可行的处理。第二次提交的论文应清晰地说明强制修改的具体处理方式。为此，第二次提交的论文必须附上一封说明信，详细说明每项强制修改请求与论文的具体部分。说明信将有助于快速进行第二次审核，并在两周内确认最终录用。相反，如果没有说明信，论文将被拒稿。