Extended Deadline for Application – 16 March 2020

VIVA European Summer School on Artificial Intelligence and Software Verification and Validation.

It is our pleasure to announce the organization of the 1st VIVA European Summer School on Artificial Intelligence and Software Verification and Validation.

  • Location: Belambra Club, La Grande Motte, Montpellier, France.
  • Dates: 15 – 19 June 2020June 2021
  • Organizers: Arnaud Gotlieb (Simula Research Laboratory, Oslo), Nadjib Lazaar (LIRMM, University of Montpellier) and Florent Masseglia (LIRMM,
  • Website: viva2020
  • Registration: easychair

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, GDR-GPL and the GDR-Robotique.

ECTS: The 36-hour courses of the Summer School will be accredited by the Doctoral School on Information, Systems and Structure (I2S) of the University of Montpellier (a Doctoral School in the French Universities manages the Ph.D. degree). Five ECTS credit points will be awarded to student attendees.

Terms and conditions for sponsorships: any student registered in a PhD program in Norway at the time of application can apply for sponsorship. Participating students will be selected by the scientific committee of the school. Applicants should follow the standard application procedure here. Registration fees will be waived for selected applicants only. Travel expenses will be covered.