Palestra: “From Sets to Types: using the B Method with modern proof tools”
Na próxima quinta-feira, 05, de 15h às 16h, na sala 2015 do Instituto de Ciências Exatas (ICEx), haverá a palestra “From Sets to Types: using the B Method with modern proof tools”, com o doutorando no Inria, LORIA, Nancy, França, Vincent Trélat.
Oferta De Disciplinas – 1º Semestre de 2026
Confira a sala no site do ICEx.
Professores do DCC avaliam 2025 e reforçam união para os próximos desafios
No final da primeira quinzena de dezembro, os professores do Departamento de Ciência da Computação (DCC) da UFMG se reuniram para uma reunião de balanço de 2025 e planejamento estratégico para 2026 e demais anos.
Tutorial: “Modeling and Verifying Algorithms in TLA+”
Na próxima terça-feira, 10, na sala 2077 do Instituto de Ciências Exatas (ICEx), de 9h30 às 12h, o pesquisador no Centro de Pesquisa Inria Nancy, uma unidade do Inria, o Instituto Nacional Francês de Pesquisa em Ciência da Computação, e membro do LORIA, o Laboratório de Ciência da Computação e suas aplicações em Nancy, Stephan Merz, irá proferir a palestra “Modeling and Verifying Algorithms in TLA+”.
Mestrando do PPGCC/UFMG apresenta pesquisa em conferência internacional sobre verificação formal
O aluno de mestrado do Programa de Pós-graduação em Ciência da Computação (PPGCC) da UFMG, Bruno Anderotti, apresentou um trabalho científico na conferência internacional Verification, Model Checking, and Abstract Interpretation (VMCAI 2026), realizada nos dias 12 e 13 de janeiro/26, em Rennes, na França.
Iluminação especial do prédio do DCC marca campanha Fevereiro Roxo e Laranja
Fevereiro é marcado pelas campanhas Roxo e Laranja, que promovem a conscientização sobre doenças crônicas como Alzheimer, lúpus, fibromialgia e leucemia. Em apoio à iniciativa, o DCC ilumina sua fachada nas cores roxa e laranja, chamando a atenção da comunidade acadêmica e da sociedade para o tema.
