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
