Formal Methods for Industrial Critical Systems
Gwen Salauen, Grenoble INP - INRIA Grenoble (Rhone-Alpes) - LIG, France
The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Workshop registration fee includes: 2-days workshop participation, proceedings, tea breaks, lunches, and social dinner on Monday August 29th, 2011
Click here to read the instructions for on-line registration.
To register, please click the
Note: If you are using Internet Explorer 8 or later, you must enable session cockies (click here for details).
To review the cancellation policy, please click here.
To register the RE'11 conference, please click the
For enquiries about registration, please contact: firstname.lastname@example.org