Formal Methods for Industrial Critical Systems

August 29-30, 2011

Gwen Salauen, Grenoble INP - INRIA Grenoble (Rhone-Alpes) - LIG, France
Bernhard Schaetz, fortiss GmbH, Germany

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.


  • Early registration deadline: July 19th, 2011 July 15th, 2011 (23:59, Apia Samoa Time).
  • Late registration deadline: August 12th, 2011 (23:59, Apia Samoa Time).


Workshop registration fee includes: 2-days workshop participation, proceedings, tea breaks, lunches, and social dinner on Monday August 29th, 2011

Item Early Late
FMICS'11 workshop €260 €290


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: