Section: Other Grants and Activities

Visits of Team Members

Véronique Cortier has visited Bogdan Warinschi (University of Bristol) to work on combination techniques for soundness results of symbolic models (September 27th - October 1st).

Olga Kouchnarenko has visited Natalia Sidorova (Eindhoven Univ. of Technologies) to work on refinement of may-/must workflow Petri nets (June 30th - July 14th), and on component adaptability and configuration (October 26th - November 6th).