The annual program verification competition VerifyThis took place in Turin, as part of ETAPS 2026. Among 24 participating teams, two teams from LMF received prizes, including the main award:
- Best Overall Team: Li-yao Xia and Jacques-Henri Jourdan
- Best One-Person Team: Jean-Christophe Filliâtre
VerifyThis is an annual competition in program verification, held since 2011. It brings together researchers and practitioners to solve verification challenges in a hands-on setting. The competition consists of problems described in natural language and pseudocode; participants are required to formalise the specifications, implement solutions, and formally verify their correctness. Submissions are evaluated with respect to correctness, completeness, and elegance. For more information, visit https://verifythis.github.io/onsite/.