Laboratoire d'Informatique de Grenoble (UMR 5317) Team Magma Maison Jean Kuntzmann 110, avenue de la chimie BP 53 - 38041 Grenoble cedex 9 damien.pellier@imag.fr Office: G119 Phone: (+33) 4 76 51 46 25