15th International Workshop on
Formal Methods for Industrial Critical Systems
(FMICS 2010)

Antwerp, Belgium
September 20-21, 2010

• Program co-chairs
  • Stefan Kowalewski (RWTH Aachen University - Germany)
  • Marco Roveri (FBK-irst, Italy)
• Invited Speakers
  • Aarti Gupta (NEC Labs, United States of America)
  • Axel Simon (Technical University of Munich, Germany)
  • Bert van Beek (Technical University of Eindhoven, The Netherlands)
  • Stephan Tobies (Microsoft European Innovation Center, Germany)

ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS)

Held in conjunction with:
the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE-2010).