15th International Summer School on Verification Technology, Systems & Applications
The 15th edition of the Summer School on Verification Technology, Systems and Applications (VTSA) will be organized by Inria Nancy - Grand Est in cooperation with Max-Planck-Institute for Informatics Saarbruecken, the University of Liege, and the University of Luxembourg. The school will take place from August 28 to September 1, 2023 at Inria Nancy - […]


