International Working Groups: ERCIM FMICS

Continent : 
Année de début : 
Équipes concernées : 
Institutions partenaires : 
Nom du responsable LIG : 
Radu Mateescu
Descriptif : 

The main objectives of the WG are: 1. To bring together scientists mainly of, but not only of, institutions within ERCIM, who are active in the field of formal methods and are willing to exchange their experience in the industrial usage of formal methods. 2. To coordinate efforts in the transfer of the formal methods technology and knowledge to the industry. 3. To promote research and development for the improvement of formal methods and tools with respect to their usage in the industry.