INRIA Sophia-Antipolis (France), Max-Planck-Institute Saarbruecken (Germany).