活动简介
征稿信息
全部留言
重要日期
-
会议日期
11月30日
2019
至01月01日
1970
主办单位
上海交通大学
联系方式
- 傅育熙
- 021*********
历届会议
-
2020年11月01日 中国 重庆市(Chongqing)
第五届全国形式化方法与应用会议（FMAC2020） -
2016年11月12日 中国 北京市
全国形式化方法年会
留言