Menção honrosa no 17th NASA Formal Methods Symposium
Trabalho coautorado por membros do PPGI recebeu menção honrosa no 17th NASA Formal Methods Symposium. O trabalho Verification of an Anti-unification Algorithm in PVS foi um dos destaques do evento.