Nathalie Rajão – DCC/UFMG

Inscrições abertas para o DCC START 2026: Simpósio de Computação

Destaque, Evento, Inscrições abertas, Notícia, Palestra, Participe / Nathalie Rajão

O Departamento de Ciência da Computação (DCC) da UFMG abriu as inscrições para o DCC START 2026: Simpósio de Computação, evento que marca o início do ano acadêmico e dá as boas-vindas aos estudantes de graduação e pós-graduação.

Inscrições abertas para o DCC START 2026: Simpósio de Computação Read More »

Nova empena na fachada do DCC marca início das comemorações pelos 50 anos do departamento

Destaque, Evento, Inovação, Notícia / Nathalie Rajão

A fachada do Departamento de Ciência da Computação (DCC) ganhou um novo elemento visual que já se tornou ponto de destaque no campus Pampulha da Universidade Federal de Minas Gerais.

Nova empena na fachada do DCC marca início das comemorações pelos 50 anos do departamento Read More »

A fachada do Departamento de Ciência da Computação (DCC) ganhou um novo elemento visual que já se tornou ponto de destaque no campus Pampulha da Universidade Federal de Minas Gerais.

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

Banco de Dados, Destaque, INCT, Inteligência Artificial, Parceria, TILD-IAR / Nathalie Rajão

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 »

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

Destaque / Nathalie Rajão

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 »

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

Destaque, Evento, Verificação Formal / Nathalie Rajão

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 »

Tutorial: “Modeling and Verifying Algorithms in TLA+”

Palestra, Participe / Nathalie Rajão

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 »

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

Evento, Palestra, Participe / Nathalie Rajão

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 »

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

Campanha, Destaque, Notícia / Nathalie Rajão

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 »

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

Concurso público, Destaque, Emprego, Inscrições abertas, Notícia, Professor, Vaga / Nathalie Rajã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 »

Prédio do DCC recebe iluminação em apoio à campanha do Janeiro Branco

Notícia, Participe / Nathalie Rajão

A iluminação do prédio do Departamento de Ciência da Computação (DCC), no Instituto de Ciências Exatas (ICEx) da UFMG, durante o mês de janeiro, marca a participação do DCC nas ações do Janeiro Branco, campanha nacional dedicada à conscientização sobre a importância do cuidado com a saúde mental.

Prédio do DCC recebe iluminação em apoio à campanha do Janeiro Branco Read More »