É a segunda vez que o professor Leopoldo Teixeira leva o prêmio
O evento, que teve seu último dia na sexta-feira (23), é considerado um dos mais importantes do país e da América Latina nas áreas de Inteligência Artificial e de Inteligência Computacional
A equipe Muo-Care do CIN-UFPE participa da competição
Porting the Software Product Line Refinement Theory to the Coq
proof assistant: A Case Study
O trabalho teve a orientação do professor Jaelson Castro
A live contará com a presença da professora Jéssyka Vilela