Section: Other Grants and Activities
The Vasy 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 Vasy 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://eti.cs.uni-dortmund.de ).
In addition to our partners in aforementioned contractual collaborations, we had scientific relations in 2005 with several international universities and research centers, including:
Eindhoven University of Technology (Judi Romijn and Xing Huo),
Imperial College (Jeff Kramer and Jeff Magee),
University of Konstanz (Husain Aljazzar and Paiam Salavati),
University of Málaga (Carlos Canal and Pedro Merino)  , and
University ``La Sapienza'' of Rome (Antonella Chirichiello and Benjamin Habegger)  .