【TYPES 2025：第31届类型证明与程序国际会议】
2025年，让我们翘首以待！第31届类型证明与程序国际会议即将于5月在美丽的苏格兰格拉斯哥举行。本次会议将聚集来自世界各地的行业领袖、学术界专家和青年研究者，共同探讨类型论、证明论和程序语言设计等热门话题。
会议将围绕着“创新、连接、共融”为主题，精心设计了丰富多彩的议程。论文报告、专题讨论、学术研讨，无一不在传递着创新的理念与思想碰撞的火花。此外，还有一系列精彩的工作坊和实验室活动，让与会者亲身体验前沿科技的魅力。
本次会议不仅是学术界的风向标，更是展示技术创新的舞台。我们诚挚邀请各位志同道合的学者和研究者参与其中，共同探讨类型证明与程序设计的未来发展方向。让我们携手共进，开创未来！
欢迎访问我们的官方网站https://msp.cis.strath.ac.uk/types2025/programme.html，了解更多关于本次会议的信息。让我们一起开启类型证明与程序设计的新篇章！【End】.
了解更多有趣的事情：https://blog.ds3783.com/