Courses at partner institutions
Below you will find an overview of the courses at NORAs partner institutions within artificial intelligence, machine learning and robotics.
1. First VIVA European Summer School on Artificial Intelligence and Software Verification and Validation
Facing the challenge of building trustworthy AI-based software and systems, Europe needs to educate a new generation of bright researchers on the usage of AI in Software Verification and Validation (V&V) and the V&V aspects of AI systems. To reach this goal, we propose to welcome about 30 PhD students in VIVA, the 1st summer school dedicated to AI and Software V&V. High-level courses will be given by the most recognized European researchers in the field of Software V&V and trustworthy Artificial Intelligence and will include an appropriate combination of theoretical and practical matters. The courses will cover a broad spectrum of research topics including Machine Learning and Data Mining in Software Testing, V&V of Neural Networks, Constraint Programming in Verification Testing of Autonomous Systems, etc. The PhD School is co-organized by LIRMM, Simula Research Laboratory and Inria with the financial support of the French Institute in Norway, Simula, Inria and CNRS through the GDR-IA, GDR-MADICS and the GDR-GPL.
- Location: Belambra Club, La Grande Motte, Montpellier, France.
- Dates: October 2020
- Organizers: Arnaud Gotlieb (Simula Research Laboratory, Oslo), Nadjib Lazaar (LIRMM, University of Montpellier) and Florent Masseglia (LIRMM, Inria).