FMICS 2006 - CALL FOR PARTICIPATION
Please visit: http://fmics06.informatik.tu-muenchen.de/
************************************************** * 11th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2006 * * 26th-27th of August 2006, Bonn, Germany * **************************************************
- FMICS 2006 is co-located with Concur 2006. - EARLY REGISTRATION ENDS ON 18th of JULY 2006
SCOPE OF THE WORKSHOP --------------------- The aim of the FMICS workshops is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops should bring together scientists that are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. They also aim at the promotion of research and development for the improvement of formal methods and tools for industrial applications.
INVITED SPEAKERS ---------------- Anna Slobodova, Intel:
Challenges for Formal Verification in Industrial Setting
Edward A. Lee, Berkeley:
Making Concurrency Mainstream
PROGRAM & REGISTRATION ----------------------