ISSAC 2010 Home
The International Symposium on Symbolic and Algebraic Computation (ISSAC) is the premier annual conference to present and discuss new developments and original research results in all areas of symbolic mathematical computation.
ISSAC 2010 will take place at the Technische Universität München, München, Germany, July 25 - 28, 2010.
Invited Speakers
- Evelyne Hubert (INRIA Sophia Antipolis, France): Algebraic invariants and their differential algebras
- Siegfried M. Rump (Hamburg University of Technology, Germany & Waseda University, Japan): Verification methods: Rigorous results using floating-point arithmetic
- Ashish Tiwari (SRI International, USA): Theory of reals for verification and synthesis of hybrid dynamical systems
Tutorials
On Sunday, July 25th, there will be three Tutorials:
- Moulay A. Barkatou (Limoges University, France): Symbolic methods for solving systems of linear ordinary differential equations
- Jürgen Gerhard (Maplesoft, Canada): Asymptotically fast algorithms for modern computer algebra
- Sergey P. Tsarev (Siberian Federal University, Russia): Transformation and factorization of partial differential systems with applications to stochastic systems
(subject to change)
