Destaque

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.

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

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.

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).

Computação contra doenças: professora do DCC integra pesquisa que gera ferramenta patenteada para novos medicamentos Read More »

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).

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.

Mestrando do PPGCC/UFMG apresenta pesquisa em conferência internacional sobre verificação formal Read More »

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.

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+”.

Tutorial: “Modeling and Verifying Algorithms in TLA+” Read More »

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+”.

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.

Palestra: “From Sets to Types: using the B Method with modern proof tools” Read More »

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.

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.

Iluminação especial do prédio do DCC marca campanha Fevereiro Roxo e Laranja Read More »

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.

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).

UFMG abre concurso para professores no Departamento de Ciência da Computação Read More »

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).

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.

Prédio do DCC será iluminado com cores de campanhas de conscientização ao longo de 2026 Read More »

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.

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.

Professores do DCC avaliam 2025 e reforçam união para os próximos desafios Read More »

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.

Acesso por PERFIL

Acessar o conteúdo