科学研究
学术报告
当前位置: 学院主页 > 科学研究 > 学术报告 > 正文

An Introduction to Formal Analysis

发布时间:2019-03-28 作者: 浏览次数:
Speaker: Professor Xiao-Xiong Gan DateTime: 2019年3月29日(星期五)上午10:00—11:00
Brief Introduction to Speaker:

Professor Xiao-Xiong Gan,美国Morgan州立大学 中国科学院华罗庚中心。

Place: 六号楼二楼报告厅
Abstract: