The LIP6, Sorbonne University and French National Center for Scientific Research (CNRS), UMR 7606 Sorbonne University - CNRS, is a computer science research laboratory dedicated to the modeling and the resolution of fundamental problems driven by applications, as well as to the implementation and the validation through academic and industrial partnerships.