• Login

en fr

2021

• Patricia Bouyer co-chairing FoSSaCS November 26, 2021
• Serge Hadad co-chairing the joint QONFEST conference March 29, 2021
• Serge Haddad co-chairing CONCUR March 29, 2021

Contact

LMF - Laboratoire Méthodes Formelles
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences
91190 Gif-sur-Yvette, France

Phone: +33 (0)1 81 87 54 50

Mail : contact@lmf.cnrs.fr