2025年第 45 届分布式对象、组件和系统形式化技术国际会议（FORTE 2025）ICFP

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

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

FORTE 2025 是第 20 届分布式计算技术国际联盟 DisCoTec 2025 的三个会议之一，其专注于形式化方法在分布式系统中的理论基础、工具设计及实践应用。

1.组委会

程序委员会主席
Carla Ferreira，葡萄牙里斯本新大学
Claudio A. Mezzina，意大利乌尔比诺大学

成果评估委员会主席
Emilio Incerto，意大利卢卡 IMT 高等研究学院

2.出版与检索

出版机构：Springer 出版社，LNCS (Lecture Notes in Computer Science) 系列，卷号 15732

检索平台：收录于 SpringerLink、ACM DBLP，后期开放至 IFIP 数字图书馆

收录内容：包含 8 篇 full papers 和 5 篇 short/tool papers，由 25 篇投稿中精选

并发和分发的语言概念，由严格的语义、得到充分支持的语用和/或富有表现力的说明性用例提供支持。
分析技术、方法和/或算法，使用测试和/或验证，以验证各种类型的并发和分布式系统的（方面）健全性，包括通信和网络协议，面向服务的系统，自适应分布式系统，信息物理系统和传感器网络。
定性和定量安全分析的原则分布式系统。
正式方法和技术的应用，用于研究混凝土的质量、可靠性、可用性和安全性分布式系统。我们对“真实”案例特别感兴趣涉及真实分布式的研究和工业应用系统。
分布式系统（广义解释）中新出现的挑战和热门话题，例如软件定义网络、分布式账本、智能合约和区块链技术等。

Burcu Kulahcioglu Ozkan · 荷兰代尔夫特理工大学
Burcu Kulahcioglu Ozkan 是荷兰代尔夫特理工大学软件工程研究组的助理教授和 “Delft 技术学者”（Delft Technology Fellow）。她博士毕业于土耳其伊斯坦布尔的科克大学（Koç University），并在德国凯泽斯劳滕的马克斯·普朗克软件系统研究所（MPI-SWS）完成了博士后研究工作。她的研究方向包括形式方法、模型检测、软件测试及并发程序和分布式系统的调试等。她曾获得 Amazon Research 和 Stellar Development Foundation 等机构颁发的科研奖项与资助。
Emilio Tuosto · 意大利格兰萨索科学研究所 GSSI
Emilio Tuosto 是意大利格兰萨索科学研究所（GSSI, Gran Sasso Science Institute）的教授。他的研究聚焦于分布式系统的协调模型、形式方法、编舞语言（Choreography Languages）以及智能合约的形式化建模与验证。他近年来提出的数据感知有限状态机（DAFSM）模型，为从全局视角分析智能合约和分布式组件交互提供了新的理论工具和技术路径。

1.投稿要求

常规论文（Regular papers）：篇幅为 7-15 页（不含参考文献），应描述完整详实的研究成果或经验报告。常规论文可选择附带成果（artefact）一并提交。附带成果将由成果评估委员会（Artefact Evaluation Committee）评审，但论文的录用与成果的录用互相独立，即论文的录用不依赖于成果是否被接收。然而，成果的录用则必须以论文被录用为前提。
工具论文（Tool papers）：篇幅为 7-15 页（不含参考文献），应描述与 FORTE 研究主题相关的技术性成果。论文应说明该工具所依赖的理论基础，清晰阐述其功能与局限，并附有案例研究（需包含严谨的实验评估）。此外，必须单独提交该工具的成果材料以供评估，工具成果的评估通过是工具论文被接收的必要条件。成果将由专门的评审委员会评估。论文中还必须包含一个不超过10分钟的 MPEG-4 视频演示链接，此演示视频需在论文提交截止后一周内提交。
短论文（Short papers）：篇幅为最多6页（不含参考文献），应描述有创新性和前景的新想法（即使仍处于早期阶段），或展示新的工具（或其组件），或呈现以下内容之一：行动倡议；对当前/未来 FORTE 相关研究方向的有根据的思考。亦可为已发表期刊论文的总结，须阐明该演讲为何能丰富 FORTE 的会议内容。

2.重要日期