ISSAC 2010 Home
Sadly, the tutorial of S.P. Tsarev had to be cancelled. Luckily, Gregor Kemper agreed as tutorial speaker on short notice.
Program published and Registration open
The program is published.
The online registration is now closed.
A list of participants is now online.
The proceedings can be viewed and downloaded by all ISSAC 2010 participants (username and password are disclosed at the conference).
ISSAC 2010
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
- Gregor Kemper (Technische Universität München, Germany): Algorithmic Invariant Theory
(subject to change)
