This question was raised during the 16th Summer School on Verification Technology, Systems & Applications (VTSA) which took place from 8 to 12 July 2024 at the University of Luxembourg on Belval campus. Gathering students from Europe and Asia, the summer school was a great opportunity to exchange about recent and future developments on verification technologies.
During the week, five renowned speakers shared their knowledge and experience with the students. Wolfgang Ahrendt, Professor of computer science at the University of Gothenburg ; Étienne André, Professor at Sorbonne University ; Joao Marques-Silva, Professor at University of Lleida ; Caterina Urban, Research Scientist at INRIA and Anton Wijs, Professor at Eindhoven University of Technology, presented a particular verification technology and its implementation in a system in order to successfully apply the approach to real world problems including safety-critical software and machine learning models.
Participants really enjoyed the event. “I took part in the 2024 VTSA summer school, and it was a very positive experience for me! Not only were the invited speakers and their talks very pedagogical while still being high level, but all the discussions, with the other attendees as well, were insightful. On top of that, many of the practical needs were taken care of, and the environment was nice; combined with the friendly atmosphere, this made the week very enjoyable and instructive. I recommend!”, comments one attendee.
The event was coordinated by Jun Pang, Professor in Computer Science at the University of Luxembourg and co-organised by Inria Nancy – Grand Est, the University of Liège, and the Max Planck Institute for Informatics, Saarbrücken.