Overall Objectives
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

International Collaborations

The Vasy team of Inria and the Sen2 team of Cwi collaborate in Senva , a joint research team on safety-critical systems (see ). Launched in 2004, the Senva team is supported by Inria 's European and International Affairs Department and by Cwi .

The Vasy team is member of the Fmics ( Formal Methods for Industrial Critical Systems ) working group of Ercim (see ). From July 1999 to July 2001, H. Garavel chaired this working group. Since July 2002, he is member of the Fmics Board, in charge of dissemination actions. Within Fmics , R. Mateescu contributes to the preparation of a ``Formal Methods Handbook''.

H. Garavel is a member of Ifip ( International Federation for Information Processing ) Technical Committee 1 ( Foundations of Computer Science ) Working Group 1.8 on Concurrency Theory, launched in 2005 and chaired by Luca Aceto.

H. Garavel is a member of the technical committee ( ETItorial Board ) of the Eti ( Electronic Tool Integration ) software development platform (see ).

In addition to our partners in aforementioned contractual collaborations, we had scientific relations in 2005 with several international universities and research centers, including:


Logo Inria