Personal tools
You are here: Home / Events / 2010 / ISSAC 2010

ISSAC 2010

Filed under:
35th International Symposium on Symbolic and Algebraic Computation Munich, July 25-28, 2010
When Jul 25, 2010 12:00 AM to
Jul 28, 2010 12:00 AM
Where Technische Universität München, Munich
Add event to calendar vCal
iCal

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.

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