Section: Other Grants and Activities
The Vasy project team of Inria and the Sen2 team of Cwi collaborate in Senva , a joint research team on safety-critical systems (see http://www.inrialpes.fr/vasy/senva ). Launched in 2004, the Senva team is supported by Inria 's European and International Affairs Department and by Cwi . The first three years of Senva have been favorably evaluated by a panel of international experts in November 2006.
The Vasy project team is member of the Fmics (Formal Methods for Industrial Critical Systems ) working group of Ercim (see http://www.inrialpes.fr/vasy/fmics ). 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 http://jeti.cs.uni-dortmund.de/ ).
In addition to our partners in aforementioned contractual collaborations, we had scientific relations in 2006 with several international universities and research centers, including: