July 5 - 6, 2007 - Laboratoire d'Informatique de Paris VI, Paris, France