Dear All,
note that the VTSA 2025 summer school will have a strong TLA+ flavor this year! Please encourage your students to apply.
Best,
Pascal
------
Summer School on Verification Technology, Systems and
Applications (VTSA 2025)
September 1st-5th, 2025, Liège, Belgium
The summer school on verification technology, systems &
applications focuses on fundamental aspects of verification
techniques, their implementation, and their use for concrete
applications. It is organized by Inria Nancy, the
Max-Planck-Institut für Informatik in Saarbrücken, and the
Universities of Liège and of Luxembourg, and will take place at
the University of Liège, Belgium, Sart-Tilman Campus, Montefiore
Institute B28, R7, from September 1st to 5th, 2025.
The following speakers have agreed to lecture at the school:
- Rayna Dimitrova (CISPA, St. Ingbert, Germany):
Synthesis of Infinite-State Reactive Systems
- Matthias Heizmann (University of Stuttgart, Germany):
Automata-based Software Verification with the Ultimate Program
Analysis Framework
- Calvin Loncaric (Oracle Cloud Infrastructure, Seattle, USA):
Practical TLA+ for Concurrent and Distributed Systems
- Stephan Merz (Inria & LORIA, Nancy, France):
Introduction to TLA+
- Martin Suda (CTU/CIIRC, Prague, Czech Republic):
Automatic theorem proving with Vampire
Participation in the school is free to anybody holding at least a
bachelor degree or equivalent; it includes the lectures, coffee
and lunch breaks, and a school dinner. Attendance is limited to 40
participants. Please apply electronically by sending an email to
Jennifer Müller (jmueller@xxxxxxxxxxxxxx)
including
- 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 10th, 2025. Notification of
acceptance will be given by July 16th, 2025.
Full details can be found on the school website at https://www.mpi-inf.mpg.de/vtsa25.