计算与演绎形式结构国际会议（RTA/FSCD 2025）ICFP

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

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

FSCD 涵盖了用于计算和演绎的形式结构的所有方面，从理论基础到应用。建立在两个社区之上，RTA（重写技术和应用程序）和 TLCA（类型化 Lambda 演算和应用程序）， FSCD 涵盖了他们的核心主题，并将其范围扩大到逻辑、计算模型、语义和新挑战领域的验证等密切相关的领域。

重写技术和应用程序

类型化 Lambda 演算和应用程序

Liron Cohen · 本古里安大学
以色列本古里安大学计算机科学系的助理教授。在特拉维夫大学在 Arnon Avron 的指导下获得了博士学位。随后，在康奈尔大学担任富布赖特博士后研究员，由 Robert Constable 主持。研究方向为类型系统和计算模型、定理证明和自动推理、逻辑与证明论、计算数学。
Mariangiola Dezani · 都灵大学
都灵大学计算机系教授，欧洲科学院院士。
Ekaterina Komendantskaya · 南安普敦大学
计算机科学（人工智能和验证）的教授学校赫瑞瓦特大学数学与计算机科学（MACS），以及南安普敦大学电子与计算机科学学院。从事逻辑、编程语言、验证和 AI 方面的研究。
Jose Meseguer · 伊利诺伊大学厄巴纳-香槟分校
UIUC 的计算机科学教授，领导形式方法和声明性语言实验室。