Section: Partnerships and Cooperations

European Collaborations

The Vasy project team is member of the Fmics (Formal Methods for Industrial Critical Systems) working group of Ercim (see http://fmics.inria.fr ). From July 1999 to July 2001, H. Garavel chaired this working group; since July 2002, he has been a member of the Fmics Board, and is in charge of dissemination actions. In November 2011, R. Mateescu was elected chairman of the Fmics working group.

In addition to our partners in aforementioned contractual collaborations, we had scientific relations in 2011 with several European universities and research centers, including:

• Polytechnic University of Bucharest (Valentin Cristea);

• Saarland University (Jonathan Bogdoll, Pepijn Crouzen, Arnd Hartmanns, and Holger Hermanns);

• University of Coimbra (Javier Camara);

• University of Málaga (Carlos Canal, Meriem Ouederni, and Ernesto Pimentel).

D. Thivolle defended his PhD thesis at the Polytechnic University of Bucharest on April 29, 2011.

Our long-term partnership with Saarland University has been strengthened by the Humboldt Forschungspreis received by H. Garavel, who started regular visits to Saarland University.

H. Garavel has participated in the review of the Dfg (Deutsche Forschungsgemeinschaft) transregional project Avacs  (Automatic Verification And Analysis of Complex Systems, see http://www.avacs.org ) on September 14–15, 2011.