Author name: Nathalie Rajão

Tutorial: “Modeling and Verifying Algorithms in TLA+”

Palestra, Participe /

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”

Evento, Palestra, Participe /

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

Campanha, Notícia /

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

Concurso público, Emprego, Inscrições abertas, Notícia, Professor, Vaga /

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 recebe iluminação em apoio à campanha do Janeiro Branco

Notícia, Participe /

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 »

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 será iluminado com cores de campanhas de conscientização ao longo de 2026

Campanha, Notícia /

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.

Encerramento de projeto DCC/Petrobras destaca uso de IA na cicloestratigrafia do petróleo

Aprendizado de Máquina, Evento, Inteligência Artificial, Projeto /

O Departamento de Ciência da Computação (DCC) da UFMG participou, em dezembro, do seminário de entrega final do projeto desenvolvido em parceria com a Petrobras entre 2021 e 2025, voltado à aplicação de técnicas de Inteligência Artificial à cicloestratigrafia do petróleo.

Encerramento de projeto DCC/Petrobras destaca uso de IA na cicloestratigrafia do petróleo Read More »

O Departamento de Ciência da Computação (DCC) da UFMG participou, em dezembro, do seminário de entrega final do projeto desenvolvido em parceria com a Petrobras entre 2021 e 2025, voltado à aplicação de técnicas de Inteligência Artificial à cicloestratigrafia do petróleo.

Alunos do DCC apresentam pesquisa em computação quântica em evento nacional

Computação Quântica, Evento /

Estudantes do Departamento de Ciência da Computação (DCC) da UFMG apresentaram, na edição especial do VIII ⟨WECIQ∣WCQ⟩, realizada de 8 a 12 de dezembro, em Florianópolis (SC), o trabalho intitulado “Evaluating Quantum Feature Maps for Credit Card Fraud Classification”.

Alunos do DCC apresentam pesquisa em computação quântica em evento nacional Read More »

Estudantes do Departamento de Ciência da Computação (DCC) da UFMG apresentaram, na edição especial do VIII ⟨WECIQ∣WCQ⟩, realizada de 8 a 12 de dezembro, em Florianópolis (SC), o trabalho intitulado “Evaluating Quantum Feature Maps for Credit Card Fraud Classification”.

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

Evento, Inovação, Notícia /

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.

Curso promovido pelo DCC ensina fundamentos de modelagem 3D com FreeCAD

Notícia, Robótica, VeRLab /

O Departamento de Ciência da Computação (DCC) da UFMG realizou, nesta quinta-feira, 11, o primeiro Minicurso de Modelagem 3D Paramétrica com FreeCAD para Makers, iniciativa organizada pelo Grupo de Estudos Avançados em Robótica (GEAR/UFMG).

Curso promovido pelo DCC ensina fundamentos de modelagem 3D com FreeCAD Read More »

O Departamento de Ciência da Computação (DCC) da UFMG realizou, nesta quinta-feira, 11, o primeiro Minicurso de Modelagem 3D Paramétrica com FreeCAD para Makers, iniciativa organizada pelo Grupo de Estudos Avançados em Robótica (GEAR/UFMG).

Acesso por PERFIL

Aluno de graduação
Aluno de pós-graduação
Empresa
Ex-aluno
Funcionário
Futuro aluno
Pós-doutor
Professor
Atendimento a Jornalista e Imprensa

VAGAS

x
Acessar o conteúdo