Overall Objectives
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities
Inria / Raweb 2004
Project: VASY

Project : vasy

Section: Other Grants and Activities

International Collaborations

In 2004, the Vasy team of Inria and the Sen2 team of Cwi launched a joint research team on safety-critical systems (see 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 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:


Logo Inria