Ideas for Milk – Desafio de startups

Inscrições abertas para o DCC START 2026: Simpósio de Computação

Nova empena na fachada do DCC marca início das comemorações pelos 50 anos do departamento

INCT TILDIAR, sediado no DCC, amplia articulação internacional na Itália

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