出访时间

2026.5.17-2026.5.21

团组人数

1

出访任务

赴日本东京参加CCF A类会议FM2026

出访国家（地区）停留时间

日程安排

往返航线

出访地区：日本，东京

停留时间：5-17～5-21，停留5天

日程安排：

（1）5月17日从重庆出发前往东京，并注册会议

（2）5月18日参加Probabilistic Model Checking Taken by Storm Tutorials

（3）5月19日参加FMTea (Formal Methods Teaching) workshop

（4）5月20日参加 ABZ + FM Keynote Talk: Ichiro Hasuo，结束会议，从东京出发返回重庆

（5）5月21日凌晨抵达重庆

往返航线：重庆-东京-重庆

邀请单位及简介

国际会议 FM 2026（Formal Methods 2026）是由欧洲形式方法组织（FME, Formal Methods Europe）主办的第27届形式方法国际研讨会。该会议旨在促进在软件与系统开发中形式化方法的研究、应用与推广。FM 2026 不仅是一个学术交流平台，也强调学术界与工业界的深度融合，鼓励分享在安全关键系统（如航空航天、轨道交通、医疗设备、自动驾驶等）中使用形式化方法的实际经验。

经费来源和预算

西南大学

团组成员名单

姓名

性别

单位

职务

廖剑伟

男

西南大学计算机与信息科学学院 软件学院

副院长