Meetings

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.

IFIP WG 1.8 Meeting of the IFIP 1.8 Working Group on Concurrency Theory, dedicated to Formal Methods for Embedded Systems

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.