A Best Paper Award for Vincent Trélat

Congratulations to Vincent Trélat, PhD student in the Mosel-Veridis team, who received a Best Paper Award at the ABZ 2025 conference (International Conference on Rigorous State-Based Methods).

The prize was awarded for his paper entitled “Safely Encoding B Proof Obligations in SMT-LIB”.

This international conference on formal methods was held in Düsseldorf from 10 to 13 June.