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.
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+”.
Computação contra doenças: professora do DCC integra pesquisa que gera ferramenta patenteada para novos medicamentos
A tecnologia sempre foi uma aliada nos tratamentos de saúde, com presença cada vez mais constante nas pesquisas e estudos do campo das ciências biológicas. Com o objetivo de simular a ligação de moléculas com potencial farmacológico, um grupo de pesquisadores da UFMG desenvolveu o POTTER (peptide optmization tool for enhanced receptor-binding).
INCT TILDIAR, sediado no DCC, amplia articulação internacional na Itália
O Instituto Nacional de Ciência e Tecnologia em Inteligência Artificial Responsável (INCT TILDIAR), com sede no Departamento de Ciência da Computação (DCC) da UFMG e coordenado pelo professor do departamento, Marcos André Gonçalves, concluiu, nesta sexta-feira, 6, uma agenda de divulgação e articulação institucional na Itália.
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).
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.
