January 1st, 2000: VASY Becomes an Official INRIA Research Project

The VASY Team is proud to announce that, since January 1st, 2000, it has been recognized as an official research project of INRIA.

This decision has been taken by the President of INRIA, Mr. Bernard Larrouturou, on December 17, 1999 (decision nr. 2877), on the basis of a proposal made by Mr. Jean-Pierre Verjus, Director of INRIA Rhône-Alpes.

This decision comes after a one-year evaluation phase during which the proposal to create the "VASY project" has been examined by:

• The Comité des Projets of INRIA Rhône-Alpes

• Scientists belonging to the Commission d'Evaluation of INRIA:

  • Luc Maranget (projet PARA)
  • Robert de Simone (projet MEIJE)

• Distinguished Professors having made solid contributions to the domain of formal methods and verification:

  • Prof. Ed Brinksma (University of Twente, The Netherlands)
  • Prof. Rance Cleaveland (State University of New York at Stony Brook, USA)
  • Prof. Guy Leduc (Université de Liège)
  • Prof. Pierre Wolper (Université de Liège)

The VASY team would like to thank all these personalities for their confidence and support, and will do its best efforts to match their expectations.

Additional information

The list of ongoing INRIA projects is available here.

As the name VASY has been employed in three different contexts since 1995, we would like to precise the terminology:

• From 1996 to 1999, VASY-RA has been a research team of INRIA Rhône-Alpes. Formally, its status was an "action", which should be understood as "pre-project". Since January 2000, the VASY-RA action has been transformed into the VASY project (the RA suffix, meaning "Research & Applications", was simply dropped).

• From 1995 to 1998, Dyade/Vasy was a joint collaboration group between Bull and two research teams at INRIA, the VASY-RA action and the PAMPA project. Since September 1998, a new collaboration named FormalFame has succeeded to Dyade/Vasy.

Back to the VASY Home Page