Image

11th International Workshop on Formal Methods for Industrial Critical Systems

Important Dates

Abstract (suggested) 26th of May 2006
Full Paper 5th of June 2006
Notification of Acceptance 10th of July 2006
Final Version 25th of July
FMICS 26th-27th of August 2006
(27th overlaps with Concur)