01高可信计算理论与技术02形式化方法03程序分析与验证04模型驱动式软件构造技术05软件可信性度量与规范设计06自动推理与符号计算07生物信息计算技术08计算理论与计算模型09符号计算在非线性科学中的应用10数据挖掘与知识发现11海量数据管理与数据流分12分布存储和P2P计算13WEB数据管理和WEB挖掘14虚拟现实与可视分析15软硬件协同设计16传感网络设计17嵌入式系统设计与开发18图像分析与理解19软件服务工程20软件工程管理21密码与信息安全