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.

Tags: Event, Fmics, Conference

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences