Processo Seletivo para o Mestrado – 2º semestre de 2018

Computação contra doenças: professora do DCC integra pesquisa que gera ferramenta patenteada para novos medicamentos

Mestrando do PPGCC/UFMG apresenta pesquisa em conferência internacional sobre verificação formal

Tutorial: “Modeling and Verifying Algorithms in TLA+”

Palestra: “From Sets to Types: using the B Method with modern proof tools”

Iluminação especial do prédio do DCC marca campanha Fevereiro Roxo e Laranja

Oferta De Disciplinas – 1º Semestre de 2026

UFMG abre concurso para professores no Departamento de Ciência da Computação

Prédio do DCC recebe iluminação em apoio à campanha do Janeiro Branco

Prédio do DCC será iluminado com cores de campanhas de conscientização ao longo de 2026