7月11日，西南交通大学系统可信性自动验证国家地方联合工程实验室首席专家徐扬教授、数学金沙网站院长杨晗教授来校，与学校签订“系统可信性自动验证地方联合工程实验室”川信分中心合作协议并授牌。

成立仪式现场

在综合楼0903会议室，双方举行了联合工程实验室川信分中心成立及授牌仪式。学校党委书记周勇、院长敬代和、副院长程远东以及科技处、App金沙网站负责人等参加仪式。

周勇致辞

成立仪式上，周勇对来宾表示热烈的欢迎，向西南交通大学十多年来对学校的支撑表示感谢，同时对联合工程实验室川信分中心的建设提出希翼。

杨晗提出了包括App可信性自动验证工具的推广、科技项目申报、人工智能及大数据专业建设等具体合作方向，双方明确了联合工程实验室川信分中心后续重点工作。程远东宣读了联合实验室川信分中心成立文件，对分中心成员提出具体工作要求。

双方代表签约

授牌

敬代和代表学校与对方签署了合作协议，杨晗向联合工程实验室川信分中心负责人、App金沙网站副院长云贵全授牌。

期间，来宾还参观了学校人工智能实训室、5G实训室和物联网实训室等学生教学实训场地。