RELIABLE IMPLEMENTATION OF REAL NUMBER ALGORITHMS: THEORY AND PRACTICE, INTERNATIONAL SEMINAR DAGSTUHL CASTLE, GERMANY, JANUARY 8-13, 2006 REVISED PAPERS