UFMG - Departamento de Ciência da Computação