SENVA ("System ENgineering and VAlidation") is a joint research team between CWI and INRIA, the Dutch and French national institutes for research on computer science. SENVA focusses on the formal specification and computer-aided validation of safety-critical systems.

The SENVA Team. From left to right: Christophe Joubert, Wan Fokkink, Stefan Blom, Bert Lisser, Radu Mateescu, Hubert Garavel, David Champelovier, Damien Bergamini, Aurore Collomb, Frédéric Lang, Nicolas Descoubes, Jaco van de Pol, and Wendelin Serwe.

SENVA News:

• February 17, 2004: CWI and INRIA Launch the SENVA Joint Research Team

• June 21-23, 2004: SENVA 2004 Workshop (Allevard-Les-Bains, Isère)

• October 18, 2004: Dr. Jaco van de Pol is appointed Group Leader of SEN2

• January 5, 2005: The SENVA Collaboration

• January 6, 2005: SENVA Scientific Report 2004

• June 1st, 2005: SENVA 2005 Workshop (St Pierre de Chartreuse, Isère)

• November 16-17, 2005: SENVA Meeting on Clusters and Grids for Verification and Performance Evaluation (Montbonnot, Isère)

• April 6, 2006: SENVA Scientific Report 2005

• April 7, 2006: SENVA Meeting on Parallel and Distributed Verification (CWI, Amsterdam)

• June 12-14, 2006: SENVA 2006 Workshop (Venosc, Isère)

• December 5, 2006: SENVA Scientific Report 2006