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:

• Sandrine Blazy (Univ. Rennes 1): Verified Compilation
• Simon Bliudze (Inria Lille): Rigorous System Design using BIP – Correctness by All Means
• Igor Konnov (Informal Systems): Specifying blockchain protocols with TLA+ and Quint and checking them with Apalache
• Martin Leucker (Univ. Lübeck): Theory and Practice of Runtime Verification
• Peter Müller (ETH Zürich): Building Deductive Program Verifiers

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:

• a one-page CV
• an application letter explaining your interest in the school and your
  experience in the area
• a copy of your bachelor certificate (or equivalent or a more significant
  certificate)
• a short statement if you want to contribute to the student sessions

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