Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• H. Garavel is an invited professor at Saarland University (Germany) as a holder of the Gay-Lussac Humboldt Prize.

• Hernan Ponce de Leon (Fortiss, Munich, Germany) visited us on June 25–26, 2019. He gave a lecture entitled “BMC with Weak Memory Models”.

• Hugues Evrard (Google, London, UK) visited us on October 21, 2019. He gave a lecture entitled “GPU Schedulers: How Fair is Fair Enough?”.

• Karoliina Lehtinen (University of Liverpool, UK) visited us on October 23, 2019. She gave a lecture entitled “Quasi-Polynomial Techniques for Parity Games and Other Problems”.

• Peter Csaba Ölveczky (University of Oslo, Norway) visited us on November 25, 2019. He gave a lecture entitled “Formal Specification and Analysis of Real-Time Systems in Real-Time Maude”.

The annual CONVECS seminar was held in Villard-de-Lans (France) on July 1-3, 2019. The following invited scientists attended the seminar:

• Loïc Letondeur (Orange Labs) gave on July 2, 2019 a talk entitled “Artificial Intelligence and Edge Computing”.

• Eric Jenn (IRT Saint-Exupéry / Thales Avionics) gave on July 3, 2019 a talk entitled “Recent Achievements of the CAPHCA Project”.

• Viet Anh Nguyen (IRT Saint-Exupéry) gave on July 3, 2019 a talk entitled “Using Model Checking to Identify Timing Interferences on Multicore Processors”.