Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006