Symposium "The empirical and the formal: tensions in scientific knowledge - State of research and perspectives" (Wuppertal, 30.5. - 1.6.07)