地图     English
特邀报告

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

首页 > 开放交流 > 特邀报告
跳转到: 导航, 搜索
周巢尘
  • 题目:Verifying programs with support from computer algebra
The Fourth International Conference on Mathematical Aspects of Computer and Information Sciences(MACIS 2011),北京,2011
  • 题目:A Calculus for Hybrid CSP
The Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010),上海,2010
  • 题目:Discovering Non-Linear Ranking Functions by Solving Semi-Algebraic Systems
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007),澳门,2007
林惠民
  • 题目:Stratifying Winning Positions in Parity Games
29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008), 陕西西安, 2008
吴恩华
  • 题目:Physically & Biologically Based Simulation to Time-Varying Natural Objects
10th ACM Conf. on Virtual Reality Continuum and its Applications in Industry (VRCAI 2011), 香港, 2011
2nd IEEE International Conf. on Multimedia Information Network and Security (MINES 2010), 江苏南京, 2010
  • 题目:Simulation of Mixtures with Multiple Fluids
ACM Symposium on Virtual Reality Software and Technology (VRST 2010), 香港, 2010
  • 第6届智能CAD与数字娱乐学术会议, 山东泰安, 2009
  • 题目:Time-Varying Simulation of Natural Objects
Sixth International Conference on Computer Graphics,Imaging and Visualization (CGIV 2009), 天津, 2009
张健
  • 2nd International Conference on Software Engineering and Data Mining, 四川成都, 2010
李明树
张云泉
  • 题目:State-of-the-Art Analysis & Perspectives of China HPC Development: A View from 2010 HPC TOP100
HPC in Asia Workshop, International Supercomputing Conference (ISC 2011), 德国汉堡, 2011
Georgios BARMPALIAS
  • 题目:Chaitin's halting probability and the compression of strings using oracles
Logic Colloquium 2011, 西班牙巴塞罗那, 2011
  • 题目:On the number of infinite sequences with trivial initial segment complexity
8th Panhellenic Logic Symposium(PLS8), 希腊约阿尼那, 2011

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