Map     中文
Invited Talks

From State Key Laboratory of Computer Science

Invited Talks
Jump to: navigation, search


Chaochen ZHOU
  • Title: Verifying programs with support from computer algebra
The Fourth International Conference on Mathematical Aspects of Computer and Information Sciences(MACIS 2011), Beijing, China, 2011
  • Title: A Calculus for Hybrid CSP
The Eighth Asian Symposium on Programming Languages and Systems (APLAS 2010), Shanghai, China, 2010
  • Title: Discovering Non-Linear Ranking Functions by Solving Semi-Algebraic Systems
4th International Colloquium on Theoretical Aspects of Computing (ICTAC 2007), Macau, 2007
Huimin LIN
  • Title: Stratifying Winning Positions in Parity Games
29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2008), Xi'an, Shannxi, China, 2008
Enhua WU
  • Title: Physically & Biologically Based Simulation to Time-Varying Natural Objects
10th ACM Conf. on Virtual Reality Continuum and its Applications in Industry (VRCAI 2011), Hongkong, 2011
  • EGVR 2010, Beijing, China, 2010
  • Title: Realistic Presentation vs. Real Time Rendering of Natural Environments
2nd IEEE International Conf. on Multimedia Information Network and Security (MINES 2010), Nanjing, China, 2010
  • Title: Simulation of Mixtures with Multiple Fluids
ACM Symposium on Virtual Reality Software and Technology (VRST 2010), Hongkong, 2010
  • CIDE 2009, Tai'an, Shandong, China, 2009
  • Title: Time-Varying Simulation of Natural Objects
Sixth International Conference on Computer Graphics,Imaging and Visualization (CGIV 2009), Tianjin, China, 2009
Jian ZHANG
  • 2nd International Conference on Software Engineering and Data Mining, Chengdu, Sichuan, China, 2010
Mingshu LI
Yunquan ZHANG
  • Title: 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), Hamburger, Gemany, 2011
Georgios BARMPALIAS
  • Title: Chaitin's halting probability and the compression of strings using oracles
Logic Colloquium 2011, Barcelona, Spain, 2011
  • Title: On the number of infinite sequences with trivial initial segment complexity
8th Panhellenic Logic Symposium(PLS8), Ioannina, Greece, 2011

Copyright © State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Powered by MediaWiki