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.
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.
Prédio do DCC será iluminado com cores de campanhas de conscientização ao longo de 2026
A partir de 2026, o Departamento de Ciência da Computação (DCC) da Universidade Federal de Minas Gerais (UFMG) passará a integrar de forma ativa o calendário anual de campanhas de conscientização em saúde e cidadania, utilizando a iluminação de seu prédio como instrumento simbólico de engajamento social.
UFMG abre concurso para professores no Departamento de Ciência da Computação
Foi publicado hoje, 7/01, pela Universidade Federal de Minas Gerais (UFMG), o Edital nº 5/2026 com a abertura do concurso público de provas e títulos para provimento de cargos efetivos na carreira de magistério superior. O objetivo é contratar docentes para o Departamento de Ciência da Computação (DCC).
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+”.
