国家自然科学基金NSFC-RS（中英）合作交流项目
“演化信息物理系统的建模、验证与精化”
学术研讨会
西南大学计信院软件研究与创新中心于2019年5月13日-15日举办国家自然科学基金NSFC-RS（中英）合作交流项目“演化信息物理系统的建模、验证与精化”2019年度学术研讨会。研讨会邀请到了英国约克大学、美国西北大学、南京大学和浙江理工大学等单位的老师做学术报告，详情如下。本次研讨会不收取注册费，食宿自理，欢迎各位同仁参加！
时 间：2019年5月13日－15日
地 点：西南大学25教计信院1210会议室
联 系 人：赵恒军，18302301799
日 程：
| 5月13日 |
| 9:00-10:00 |
响应式程序设计中的Kleene代数 |
Jim WOODCOCK |
| 10:30-11:30 |
机器人的概率语义 |
Jim WOODCOCK |
| 14:30-15:30 |
自动控制系统的安全性验证 |
Dr. Chao HUANG |
| 16:00-17:00 |
含单参数时钟时间自动机的参数生成 |
代立云 |
| 5月14日 |
| 9:00-10:00 |
基于线性规划的分类神经网络的鲁棒性验证 |
林望副教授 |
| 10:30-11:30 |
关于人机物系统中的泛在操作系统设计 |
刘志明教授 |
| 14:30-15:50 |
Isabelle/UTP定理证明短课程(I) |
Dr. Kangfeng YE |
| 16:20-17:40 |
Isabelle/UTP定理证明短课程(II) |
Dr. Kangfeng YE |
| 5月15日 |
| 9:00-10:00 |
模型驱动的微服务识别 |
刘波 |
| 10:30-11:30 |
随机混成系统的形式验证 |
赵恒军 |
| 14:30-15:50 |
Isabelle/UTP定理证明短课程(III) |
Dr. Kangfeng YE |
| 16:20-17:40 |
Isabelle/UTP定理证明短课程(IV) |
Dr. Kangfeng YE |