NSV 2014 PROCEEDINGS

Editors: Olivier Bouissou and Khalil Ghorbal

Authors	Title	Talk
Jean-Michel Muller	Getting tight error bounds in floating-point arithmetic: illustration with complex functions, and the real x^n function	Jul 17 09:15
Sumit Kumar Jha	Verifying Parameterized Software Models in Computational IData Science against Behavioral Specifications	Jul 17 16:30
James Kapinski	Numerical Challenges in Simulation-guided Dynamical System Analysis	Jul 18 16:30
Pierre Neron	Certifying Square Root and Division Elimination	Jul 17 14:30
Alexandre Chapoutot, Nasrine Damouche and Matthieu Martel	Transformation of a PID Controller for Numerical Accuracy	Jul 17 11:15
Christoph Spandl	Computational complexity of iterated maps on points and sets	Jul 17 15:00
Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo and Joseph R. Ruthruff	Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics	Jul 17 10:45
Assale Adje	Policy iteration in finite templates domain	Jul 17 11:45