Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

• Mahsa Shirmohammadi (University of Oxford, UK) visited us on February 23–24, 2017. She gave a talk on February 24, entitled “Minimal Probabilistic Automata have to make Irrational Choices”.

• Josip Bozic, Birgit Hofer, Hermann Felbinger, and Franz Wotawa (TU Graz, Austria) visited us from May 15 to May 19, 2017, and attended the 1st RIDINGS Workshop held on May 17, 2017 at Inria Grenoble – Rhône-Alpes. J. Bozic gave a talk entitled “Security Testing Based on Attack Patterns and Planning”. B. Hofer gave a talk entitled “Fault Localization in Software and Spreadsheets”. H. Felbinger gave a talk entitled “Test-Suite Reduction Does Not Necessarily Require Executing The Program Under Test”. F. Wotawa gave a talk entitled “Research Activities at the Institute for Software Technology / TU Graz”.

• Soren Enevoldsen (Aalborg University, Denmark) visited us from September 27 to December 27, 2017. He gave a talk entitled “Parallel Model Checking and Quantitative Models” on October 24, 2017.

Visits to International Teams

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

• G. Salaün visited the University of Málaga (Spain) from May 31 to June 14, 2017.

• L. Marsso and W. Serwe visited TU Graz (Austria) from November 13 to November 17, 2017 in the framework of the PHC RIDINGS project.