FMICS 2013

Created by pecheur, at April 24, 2013, at 07:45 AM

FMICS 2013 will take place in Madrid in September.

The 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2013) will take place September 23-24, 2013 in Madrid, in co-location with SEFM 2013. FMICS 2013 is co-chaired by Charles Pecheur from LVL and Michael Dierkes from Rockwell-Collins (France). Submissions are due May 3, 2013.

For more information, please visit the FMICS 2013 website.