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 – Grand Est / LORIA, France.
The following speakers have accepted to give courses at VTSA 2023:
Participation is free (except for travel and accommodation costs) and open to anybody holding at least a bachelor degree or equivalent in computer science. It includes the lectures, daily coffee breaks and lunches as well as a school dinner. Attendance is limited to 40 participants. Please apply electronically by sending to jmueller[at]mpi-inf.mpg.de:
The deadline for application is July 9, 2023. Notification of acceptance will be given by July 12, 2023.
Full details are available at http://www.mpi-inf.mpg.de/vtsa23