Conferência Internacional de Robótica Avançada (ICAR)

Palestra: When It Looks Too Good to Be True, It Usually Is: Unlocking Black-Box Models for Networking Problems with Trustee

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