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”.
-