Professor referência internacional na área de demonstração automática de teoremas profere palestras no DCC
Sucesso: parceria do DCC/UFMG com a Campanha do Papai Noel dos Correios apadrinha quase 1300 cartinhas
Dia Internacional das Mulheres e Meninas na Ciência: projeto criado no DCC/UFMG incentiva mais participação feminina na ciência
