Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Alexandre Hamez (ISAE, Toulouse) visited us on March 26-28, 2014. He gave a seminar entitled “Symbolic Model Checking and Hierarchical Set Decision Diagrams”.

• Chris Myers (University of Utah, USA) visited us from July 7–11, 2014. He gave a talk entitled “Genetic Design Automation” on July 8, 2014.

• The annual CONVECS seminar was held in Herbelon (France) on June 23-25, 2014. The following invited scientists attended the seminar:

  • Laurence Pierre (TIMA, Grenoble, France) gave on June 23, 2014 a talk entitled “Verification of Correctness and Safety Requirements for SoC Models”.

  • Matthias Güdemann (Systerel, Aix-en-Provence) gave on June 24, 2014 a talk entitled “Industrial Formal Methods”.

  • Lom Messan Hillah (LIP6, Paris) gave on June 25, 2014 a talk entitled “Formal Methods in Model-Driven Development and Model-Driven Development in Formal Methods: Practice Makes a Better Bridge”.