Participe

Tutorial: “Modeling and Verifying Algorithms in TLA+”

Destaque, 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”

Destaque, 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 »

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 »

Praça da árvore do DCC recebe mostra com mais de 130 trabalhos estudantis

Disciplina, Evento, Notícia, Participe / Nathalie Rajão

Nesta sexta-feira, 28, a praça da árvore do Departamento de Ciência da Computação (DCC) da UFMG se transforma em um grande espaço de inovação. Das 10h às 13h e das 15h30 às 19h, mais de 130 trabalhos finais dos cursos de Sistemas de Informação e Ciência da Computação serão apresentados ao público, reunindo projetos que refletem a criatividade, o rigor técnico e a diversidade de temas explorados pelos estudantes.

Praça da árvore do DCC recebe mostra com mais de 130 trabalhos estudantis Read More »

Cyber Security Day chega ao segundo ano reforçando debate sobre proteção digital no Brasil

Cibersegurança, Evento, Palestra, Participe / Nathalie Rajão

O crescente número de incidentes cibernéticos no Brasil e no mundo tem ampliado a urgência por ações de formação e debate sobre segurança digital. Nesse cenário, o Departamento de Ciência da Computação (DCC) da UFMG realiza, pelo segundo ano consecutivo, o DCC Cyber Security Day, marcado presencialmente para 11 de dezembro, das 9h às 17h, nos Auditórios B106 e B107 do CAD3, no Campus Pampulha da UFMG.

Cyber Security Day chega ao segundo ano reforçando debate sobre proteção digital no Brasil Read More »

Iniciativa do DCC: Papai Noel dos Correios retorna ao ICEx com meta de superar cartinhas de 2024

Na mídia, Notícia, Parceria, Participe / Nathalie Rajão

A partir do dia 10 de novembro, o Departamento de Ciência da Computação (DCC) da UFMG reabre, na entrada do Instituto de Ciências Exatas (ICEx), o ponto de adoção de cartinhas do Papai Noel dos Correios.

Iniciativa do DCC: Papai Noel dos Correios retorna ao ICEx com meta de superar cartinhas de 2024 Read More »

Canal Maratona do DCC/UFMG ensina algoritmos e estruturas de dados de forma gratuita

Maratona de programação, Notícia, Participe, Projeto de extensão / Nathalie Rajão

Um projeto de extensão do Departamento de Ciência da Computação (DCC) da UFMG está democratizando o acesso à programação competitiva. Por meio do canal Maratona UFMG, no YouTube, produzido pelos próprios estudantes, são oferecidos vídeos didáticos gratuitos que aproximam jovens do universo dos algoritmos e da resolução de problemas.

Canal Maratona do DCC/UFMG ensina algoritmos e estruturas de dados de forma gratuita Read More »

Ciência de Dados e Futebol se encontram na UFMG com a 4ª edição do FAME

Ciência de Dados, Evento, Inscrições abertas, Palestra, Participe, speed / Nathalie Rajão

Nos dias 2 e 3 de setembro, o Departamento de Ciência da Computação (DCC) da UFMG recebe a quarta edição do FAME: Football Analytics Modeling & Experience, evento que se consolida como referência no Brasil na área de Football Analytics. As inscrições têm o valor simbólico de R$ 10,00, que será revertido para uma instituição de caridade.

Ciência de Dados e Futebol se encontram na UFMG com a 4ª edição do FAME Read More »

Estudo do DCC/UFMG investiga como as pessoas percebem músicas criadas por humanos e por inteligência artificial

Computação e Música, Inovação, Notícia, Participe, UAI / Nathalie Rajão

Você já se perguntou como distinguir uma música feita por um artista de uma composição gerada por inteligência artificial (IA)? Essa é a proposta do “Estudo de Percepção da Humanidade”, uma iniciativa do Programa de Sistemas Orientados à Música e IA para Criatividade (Mosaic), do Departamento de Ciência da Computação (DCC) da Universidade Federal de Minas Gerais (UFMG).

Estudo do DCC/UFMG investiga como as pessoas percebem músicas criadas por humanos e por inteligência artificial Read More »

XVII Congresso Brasileiro de Inteligência Computacional abre inscrições para submissão

Evento, Inscrições abertas, Inteligência Computacional, Notícia, Palestra, Participe / Nathalie Rajão

Estão abertas as submissões de trabalhos para o XVII Congresso Brasileiro de Inteligência Computacional (CBIC 2025). O evento realizado pela Sociedade Brasileira de Inteligência Computacional e organizado pelo Departamento de Ciência da Computação da Universidade Federal de Minas Gerais (UFMG), pela Universidade Federal de Lavras (UFLA) e pelo Instituto Federal de Minas Gerais (IFMG), acontecerá em Belo Horizonte, Minas Gerais, Brasil, de 27 a 30 de outubro de 2025, na Escola de Engenharia da Universidade Federal de Minas Gerais (UFMG).

XVII Congresso Brasileiro de Inteligência Computacional abre inscrições para submissão Read More »

Acesso por PERFIL