Project : vasy
Section: Other Grants and Activities
In 2004, the Vasy team of Inria and the Sen2 team of Cwi launched a joint research team on safety-critical systems (see http://www.inrialpes.fr/vasy/senva). This initiative is supported by Inria's European and International Affairs Department.
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. On April 20–22, 2004, R. Mateescu organized in Aix-les-Bains an Fmics seminar devoted to the preparation of a ``Formal Methods Handbook''.
H. Garavel is a member of the technical committee (ETItorial Board) of the Eti (Electronic Tool Integration) software development platform.
We maintain scientific relations with several international universities and research centers. In addition to our partners in aforementioned contractual collaborations, we had scientific exchanges in 2004 with:
Eindhoven University of Technology (Judi Romijn and Stefan Vorstenboch),
University of Kent at Canterbury (Clara Benac Earle),
University of Rome ``La Sapienza'' (Gwen Salaün),
Radboud University Nijmegen (Tim Willemse),
Saarland University (Holger Hermanns and Sven Johr),
University of Twente (Axel Belinfante).