活动日程

时区:Asia/Beijing

日程概览

重要日期
  • 会议日期

    11月03日

    2016

    11月05日

    2016

  • 11月05日 2016

    注册截止日期

主办单位
中国计算机学会形式化方法专业组
中国计算机学会系统软件专委会
云南大学           
承办单位
中国计算机学会形式化方法专业组
中国计算机学会系统软件专委会
云南大学           
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询