11th International Workshop on Formal Methods for Industrial Critical Systems
Scope of the workshop
Tentative Programme
Call for papers
Important dates
Accepted Papers
Workshop registration
Invited speakers
Programme committee
Organisation
Submissions
Venue
Sponsors
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)