SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods, ISTI CNR (Pisa) 13-18 September 2010
ISARCS 2010: 1st International Symposium on Architecting Critical Systems Federated with CompArch 2010 Prague Czech Republic June 23-25 2010
WS-FM 2010 7th International Workshop on Web Services and Formal Methods, Stevens Institute of Technology Hoboken New Jersey USA September 16-17 2010
FMICS2010 15th International Workshop on Formal Methods for Industrial Critical Systems, Antwerp Belgium September 20-21, 2010
ISoLA2010 4th International Symposium On Leveraging Applications of Formal Methods Verification and Validation, Amirandes Heraclion Crete October 18-20 2010
IFM 2010 8th International Conference, Nancy France October 11 - 14 2010
ICFEM 2010 12th International Conference on Formal Engineering Methods, Shanghai, China 16-19 November 2010.
ICSE 2010 32nd International Conference on Software Engineering
Vamos 2010 Fourth International Workshop on Variability Modelling of Software-intensive Systems