icfem-fema.org
ICFEMThe challenge now is how to integrate them into engineering development processes to effectively deal with large-scale and complex computer systems for their correct and efficient construction and maintenance. This requires us to improve the state-of-the-art by researching effective approaches and techniques for integration of formal methods into industrial engineering practice, including new and emerging practice.
http://www.icfem-fema.org/