07/07/2025: Honorable Mention Award to Mauricio Ayala-Rincon, Thaynara Arielly de Lima, Maria Julia Dias Lima, Mariano Miguel Moscato and Temur Kutsia

In the frame of the NASA Formal Methods 2025 conference the Paper “Verification of an Anti-unification Algorithm in PVS” was awarded!

The Honorable Mention Award went to Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Maria Júlia Dias Lima, Mariano Miguel Moscato and Temur Kutsia.