==================================================================
              First Call for Participation


          14th International Summer School on
    Verification Technology, Systems & Applications
           http://www.mpi-inf.mpg.de/vtsa26/

The 18th edition of the Summer School on Verification Technology,
Systems and Applications (VTSA) will be organized by the
Max-Planck-Institute for Informatics Saarbruecken in cooperation
with the University of Liege, Inria Nancy - Grand Est, and the
University of Luxembourg. The school will take place from
August 24 to August 28, 2026 on Saarland Informatics Campus,
Saarbruecken, Germany. The following speakers have accepted
to give courses at VTSA 2026:

- Maria Paola Bonacina: Reasoning about Data Structures with CDSAT

- Mathias Fleury: SAT Solving: 30 Years of CDCL, 20 Years of Proofs,
15 Years of Inprocessing, 3 Years of User Propagator

- Mikoláš Janota: SMT Solving and Challenges and Opportunities

- Cynthia Kop: Open-world Termination Analysis in a Small Functional Language

- Christoph Scholl: Fully Automatic Formal Verification of Arithmetic Circuits

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 an email
to jmueller@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 5, 2026. Notification of
acceptance will be given by July 10, 2026.

Full details are available at http://www.mpi-inf.mpg.de/vtsa26/