Call for paper 〔OPEN〕

My submissions

〔CLOSED〕
Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

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

Call for paper
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Nov 12

    2016

    to

    Nov 13

    2016

  • Nov 13 2016

    Registration deadline

Sponsored By
中国计算机学会普适计算专委会
中国科学院软件研究所
国防科技大学        
Organized By
中国计算机学会普适计算专委会
中国科学院软件研究所
国防科技大学        
Contact Information
Login to view full contact details
Previous Conferences