- Tutorial: SMT and its Applications to Formal Verification – Alessandro Cimatti
- Tutorial: Classification with Bayesian Networks – Denis Enăchescu
- Tutorial: A set-based approach to model checking of nonlinear systems – Maria Prandini
- Training: InnoHPC – Capacity building for HPC providers and SMEs