É 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
Porting the Software Product Line Refinement Theory to the Coq proof assistant: A Case Study