This page provides a list of projects and working groups that will conduct meetings as part of FMweek.
COST Action IC0701 Working group meeting of a European scientific cooperation, aiming to develop verification technology with the reach and power to assure dependability of object-oriented programs on industrial scale.
Quasimodo Dissemination meeting of the FP7 project Quantitative System Properties in Model-Driven-Design of Embedded Systems
RIAB Workshop on Recent Innovations and Applications in B,organized in cooperation with the FP7 project Deploy
VSTTE 2009 IFIP Verified Software Initiative working conference on Verified Software Theories, Tools and Experiments.