征稿已开启

查看我的稿件

已截稿
注册已开启

查看我的门票

已截止
活动简介

全国形式化方法年会将于2016年11月12-13号在北京市召开。

征稿信息
留言
验证码 看不清楚，更换一张
全部留言
重要日期

  • 会议日期

    11月12日

    2016

    至

    11月13日

    2016

  • 11月13日 2016

    注册截止日期

主办单位
中国计算机学会普适计算专委会
中国科学院软件研究所
国防科技大学        
承办单位
中国计算机学会普适计算专委会
中国科学院软件研究所
国防科技大学        
联系方式
登录查看完整联系方式
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询