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
Venue
FMICS'06 will take place in Bonn, together with
Concur'06
. Further details can be found on the Concur pages.