Un Best Paper Award pour Vincent Trélat
Bravo à Vincent Trélat, doctorant dans l’équipe Mosel-Veridis, lauréat d’un Best Paper Award à la conférence ABZ 2025 (International Conference on Rigorous State-Based Methods).
Une belle récompense pour son article “Safely Encoding B Proof Obligations in SMT-LIB“.
Cette conférence internationale en méthodes formelles s’est tenue à Düsseldorf du 10 au 13 juin.
