The LIP6, Sorbonne University and French National Center for Scientific Research (UMR 7606 Sorbonne University - CNRS), is a computer science research institute 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.

LIP6 addresses these challenges within its four research axes :

  • Prédire le comportement de programmes par «model checking»
RSS

LIP6 events

See all news ... Archives

wadm (at) nulllip6.fr