FM 2012 will include an Industry Day that will be dedicated to sharing experience with using formal methods in industrial environments. The Industry Day Chairs will solicit presentations from industry. Abstracts will appear in the Symposium Proceedings.
INDUSTRY DAY CHAIRS
Karim Djouani, LISSI, University Paris-Est Créteil
Thierry Lecomte, ClearSy R&D , Aix en Provence
Isabelle Perseil, LTCI, Telecom ParisTech
Bruno Monsuez, LEI, Ensta ParisTech