Dagstuhl Seminar Proceedings, Volume 6021,

• Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, and Nathalie Revol 06021 Abstracts Collection – Reliable Implementation of Real Number Algorithms: Theory and Practice 10.4230/DagSemProc.06021.1
• Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, and Nathalie Revol 06021 Summary – Reliable Implementation of Real Number Algorithms: Theory and Practice 10.4230/DagSemProc.06021.2
• Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, and Nicola Wolpert A Descartes Algorithms for Polynomials with Bit-Stream Coefficients 10.4230/DagSemProc.06021.3
• Sylvain Pion, Hervé Brönnimann, and Guillaume Melquiond A Proposal to add Interval Arithmetic to the C++ Standard Library 10.4230/DagSemProc.06021.4
• Thomas J. Peters and Edward L. F. Moore Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization 10.4230/DagSemProc.06021.5
• Branimir Lambov Interval Arithmetic Using SSE-2 10.4230/DagSemProc.06021.6
• George F. Corliss, R. Baker Kearfott, Ned Nedialkov, John D. Pryce, and Spencer Smith Interval Subroutine Library Mission 10.4230/DagSemProc.06021.7
• Dominique Michelucci, Jean Michel Moreau, and Sebti Foufou Robustness and Randomness 10.4230/DagSemProc.06021.8
• Neil Stewart and Malika Zidani Transfinite interpolation for well-definition in error analysis in solid modelling 10.4230/DagSemProc.06021.9
• Margarita Korovina and Nicolai Vorobjov Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems 10.4230/DagSemProc.06021.10
• Vincent Lefèvre, Damien Stehlé, and Paul Zimmermann Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format 10.4230/DagSemProc.06021.11