News

FMICS 2013

Created by pecheur, at April 24, 2013

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.


Tags Tags: , ,