合作交流

学术会议

主办和承办的学术会议


  • 29th International Conference on Concurrency Theory, 14th International Conference on Quantitative Evaluation of SysTems, 4th International Symposium on Dependable Software Engineering: Theories, Tools and Application, 2018.9.3-9.8
  • The 31st International Conference on Computer Animation and Social Agents, 2018.5.21-5.23
  • “量子软件: 从理论到实现”研讨会, 2018.9.27-9.29
  • 16th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2018. 10.15-10.17
  • The Third Symposium on Dependable Software Engineering: Theories, Tools and Applications,2017. 10.23-10.25
  • MAVeLoS 2017 Workshop,2017. 10.7-10.8
  • 安全攸关软件研讨会,2017. 10.8-10.10
  • 第一届全国形式化方法与应用会议, 2016年11月12日-13日
  • “The 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications”,2016年11月9日-11日
  • 2015年密码算法前沿论坛,2015年7月4日-5日
  • 2015 Annual IDEA4CPS Workshop,2015.11.30-12.4
  • 中德项目研讨会,2015.10.19
  • 唐稚松先生学术思想研讨会,2015.9.16
  • Empirical Software Engineering International Week (ESEIW)(经验软件工程国际会议周),2015.10.18-10.24
  • 对称密码研讨会(Zcrypt2015),2015.12.22-23
  • 对称密码研讨会(Zcrypt2016),2015.12.24-25
  • 轨道交通软件安全研讨会,2014.2.28-3.1
  • “软件与网络安全”科学与技术前沿论坛,2014.11.13
  • 2014年密码算法前沿论坛,2014.6.21-6-22
  • 软件分析与验证研讨会议程,2013年12月14日-15日
  • LOCALI2013国际学术研讨会,2013年11月3日-7日
  • 概率和混成系统验证研讨会,2013年9月23日-28日
  • 铁道部铁路电子支付平台工程安全咨询服务项目,2013年6月4日-5日
  • 铁道领域安全软件研讨会,2013年4月25日-26日
  • 航天嵌入式软件可信保障技术体系研讨会,2013年3月31日-4月1日
  • 安全关键软件研讨会,2013年3月8日-10日
  • China-Germany-Workshop on Applying Formal Methods to Railway,2012年9月12日-13日
  • he 9th Annual Conference on Theory and Applications of Models of Computation (TAMC 2012)/Turing Year in China,2012年5月16日-21日
  • 胡世华先生诞辰100周年纪念会暨2012逻辑、计算与信息研讨会,2012年4月23日-24日
  • Workshop on Multicore and Heterogeneous Parallel Computing (中丹合作研讨会),2012年4月19日-20日
  • 计算机科学与计算机软件新技术国家重点实验室联合研讨会 2011
  • ARTIST 嵌入式系统设计暑期讲习班,2011年8月8日-12日
  • 模型检测暑期讲习班,2010年10月11日-16日
  • 计算机科学与计算机软件新技术国家重点实验室联合研讨会 2010
  • 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008
  • Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), 23-26 October 2006
  • Third International Conference on Quality Software (QSIC 2003), 6-7 November 2003