您的位置:首页 > 科学研究 > 学术科研

国家自然科学基金NSFC-RS(中英)合作交流项目“演化信息物理系统的建模、验证与精化”学术研讨会

发布时间:2019-05-09 来源:本站原创 作者:本站编辑   浏览次数:

国家自然科学基金NSFC-RS(中英)合作交流项目

演化信息物理系统的建模、验证与精化”

学术研讨会

 

西南大学计信院软件研究与创新中心于2019513-15日举办国家自然科学基金NSFC-RS(中英)合作交流项目演化信息物理系统的建模、验证与精化”2019年度学术研讨会。研讨会邀请到了英国约克大学、美国西北大学、南京大学和浙江理工大学等单位的老师做学术报告,详情如下。本次研讨会不收取注册费,食宿自理,欢迎各位同仁参加!

 

时间:2019513日-15

地点:西南大学25教计信院1210会议室

联系人:赵恒军,18302301799

日程:

513

9:00-10:00

响应式程序设计中的Kleene代数

Jim WOODCOCK

10:30-11:30

机器人的概率语义

Jim WOODCOCK

14:30-15:30

自动控制系统的安全性验证

Dr. Chao HUANG

16:00-17:00

含单参数时钟时间自动机的参数生成

代立云

514

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

515

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