Ata do Processo Seletivo para Professor Substituto – Edital 131/2018 24 de abril de 2018 / Por Resultado homologado pela Câmara do Departamento de Ciência da Computação em reunião do dia 20-04-2018
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
