Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Loïg Jezequel (Technical University of München, Germany) visited us on March 4–6, 2013. He gave a talk entitled “Distributed Cost-Optimal Planning” on March 4, 2013.

• Zhen Zhang (University of Utah, USA) visited us from September 1st to December 31, 2013.

• The annual CONVECS seminar was held in Col de Porte (France) on November 18–20, 2013. The following invited scientists attended the seminar:

  • Jérôme Hugues (Institute for Space and Aeronautics Engineering, Toulouse) gave on November 18, 2013 a talk entitled “Model-Based, Model Checking: the Missing Bits”.

  • Loïg Jezequel (Technical University of München, Germany) gave on November 19, 2013 a talk entitled “Computation of Summaries using Net Unfoldings”.

  • Xavier Etchevers (Orange Labs, Meylan, France) gave on November 19, 2013 a talk entitled “VAMP: Self-Deployment of Arbitrary Applications in the Cloud”.

  • Fabrice Kordon (LIP6, Paris) gave on November 20, 2013 a talk entitled “Verification Approaches for Distributed Systems in LIP6/MoVe”.

  • Zhen Zhang (University of Utah, USA) gave on November 20, 2013 a talk entitled “Modeling a Fault-Tolerant Wormhole Routing Algorithm using LNT”.