1. Project Coati; I3S (CNRS, UNSA) and INRIA; Sophia Antipolis France
2. Department of Mathematics and Computer Science; University of Southern Denmark; Odense Denmark
3. LIRIS; Ecole Centrale Lyon; France
4. IRIF; Université Paris Diderot, France and Project Gang; INRIA France
5. G-SCOP; CNRS and Université Grenoble Alpes; Grenoble France
6. Departamento de Matemáticas; Universidad Andres Bello; Santiago Chile