- 5th International
Conference on Mathematical Aspects of Computer and Information Sciences
(Nanning, China, December 11-13, 2013)
- Second International Seminar
on Program Verification, Automated Debugging and Symbolic Computation
(Beijing, China, October 23-25, 2013)
- International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
(Beijing, China, October 10-12, 2012)
- 4th International Conference on
Mathematical Aspects of Computer and Information Sciences
(Beijing, China, October 19-21, 2011)
- 13th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing (Timisoara, Romania,
September 26-29, 2011)
- International
Workshop on Certified and Reliable Computation (Nanning, China,
July 17-20, 2011)
- International Symposium on Revision
Calculus and Applications (Nanjing, China, October 12-14, 2009)
- 7th
International Workshop on Automated Deduction in Geometry
(Shanghai, China, September 22-24, 2008)
- 3rd
International Conference on Algebraic Biology (Hagenberg,
Austria, July 31 - August 2, 2008)
- 9th
International Conference on Artificial Intelligence and Symbolic
Computation (Birmingham, UK, July 31 - August 2, 2008)
- 3rd Summer School
in Symbolic Computation (Chengdu, China, July 10-16, 2008)
- 1st International Conference on Symbolic Computation and Cryptography (Beijing, China, April 28-30, 2008)
- International Seminar
on Symbolic Real Algebra and Trustworthy Computing (Shanghai, China, April 3-5, 2008)
- 8th Asian
Symposium on Computer Mathematics (Singapore, December 15-17, 2007)
- 2nd
International Conference on Mathematical Aspects of Computer and Information Sciences
(Paris, France, December 5-7, 2007)
- 2007 International
Symposium on Symbolic and Algebraic Computation
(Waterloo, Canada, July 28 - August 1, 2007)
- 2nd
International Workshop on Symbolic-Numeric Computation
(London, Canada, July 25-27, 2007)
- 2nd
International Conference on Algebraic Biology
(Hagenberg, Austria, July 2-4, 2007)
- 5th Asian Workshop on Foundations of Software (Xiamen, China, June 1-3, 2007)
|
|