Utrecht University (The Netherlands), ETH Zurich (Switzerland), INRIA Sophia-Antipolis (France), Max-Planck-Institute Saarbruecken (Germany), Tel-Aviv University (Israel).