地图     English
分类:学术会议

出自计算机科学国家重点实验室

首页 > 开放交流 > 学术会议 > 学术会议
跳转到: 导航, 搜索


主办和承办的学术会议

  • 第一届全国形式化方法与应用会议,2016.11.12-11.13
  • "The 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications",2016.11.9-11.11
  • 2015年密码算法前沿论坛,2015.7.4-7.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

参加的学术会议

A

C

D

E

F

G

H

I

I 续

J

K

L

M

N

O

P

P 续

Q

R

S

T

U

V

W


版权所有 © 中国科学院软件研究所计算机科学国家重点实验室 Powered by MediaWiki
京ICP备05046678号