THE GROWING demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation coexisting in mathematics yet separated in traditional research of mathematical computation. To facilitate the symbolic-numeric interaction and integration and to resume previous meetings such as SNAP '96 in Nice, France and the SNAP minisymposium at SIAM '98 organized for the same objective of designing and implementing algorithms and software tools for hybrid computation, an international workshop on Symbolic-Numeric Computation (SNC 2005) will be held in Xi'an, China from July 19-21, 2005 as a satellite conference of ISSAC 2005.

The workshop is financially supported by the National Natural Science Foundation of China, the Key Laboratory of Mathematics-Mechanization, Institute of Systems Science, Academy of Mathematics and System Sciences, and the Key Laboratory of Mathematics, Informatics and Behavioral Semantics, School of Science, Beihang University.


HOW TO GET THERE