Dagstuhl Seminar Proceedings, Volume 9471,

• Malcolm B. Brown, Erich Kaltofen, Shin'ichi Oishi, and Siegfried M. Rump 09471 Abstracts Collection – Computer-assisted proofs - tools, methods and applications 10.4230/DagSemProc.09471.1
• Malcolm B. Brown, Erich Kaltofen, Shin'ichi Oishi, and Siegfried M. Rump 09471 Executive Summary – Computer-assisted proofs - tools, methods and applications 10.4230/DagSemProc.09471.2
• Andreas Rauh and Ekaterina Auer Interval Approaches to Reliable Control of Dynamical Systems 10.4230/DagSemProc.09471.3
• Ekaterina Auer, Roger Cuypers, Eva Dyllong, Stefan Kiel, and Wolfram Luther Verification and Validation for Femur Prosthesis Surgery 10.4230/DagSemProc.09471.4