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