Contact

Directrice du GDR : Caroline Fontaine (caroline.fontaine@lsv.fr)

Laboratoire en Méthodes Formelles
ENS Paris-Saclay
4 avenue des sciences
91190 Gif-sur-Yvette
France