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