Constrained Horn Clauses for Program Verification
05 de setembro às 16h na sala 6321 (DCC)
Constrained Horn Clauses for Program Verification Read More »
05 de setembro às 16h na sala 6321 (DCC)
Palestra
palestra, participação, apresentação
Professor da Universidade de Lancaster ministra palestra no DCC
O professor Leandro Marcolino, da Universidade de Lancaster, UK, que está em visita ao Departamento de Ciência da Computação (DCC) da UFMG pelo Programa CAPES – PRINT, irá proferir, presencialmente, na próxima sexta-feira (1º), às 10 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), a palestra “Certificação de Políticas em Aprendizado por Reforço
Professor da Universidade de Lancaster ministra palestra no DCC Read More »
O professor Leandro Marcolino, da Universidade de Lancaster, UK, que está em visita ao Departamento de Ciência da Computação (DCC) da UFMG pelo Programa CAPES – PRINT, irá proferir, presencialmente, na próxima sexta-feira (1º), às 10 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), a palestra “Certificação de Políticas em Aprendizado por Reforço
“Algoritmos refletem as desigualdades da sociedade“, diz Virgílio Almeida em aula magna
Professor do DCC falou sobre os desafios éticos da inteligência artificial na abertura do segundo período letivo; conferência também será ministrada aos calouros dos cursos noturnos Estamos vivendo em um mundo impactado pela pandemia, por conflitos e guerras, pelas mudanças climáticas e pela imensa desigualdade econômica e social, especialmente no Brasil. E com o surgimento
“Algoritmos refletem as desigualdades da sociedade“, diz Virgílio Almeida em aula magna Read More »
Professor do DCC falou sobre os desafios éticos da inteligência artificial na abertura do segundo período letivo; conferência também será ministrada aos calouros dos cursos noturnos Estamos vivendo em um mundo impactado pela pandemia, por conflitos e guerras, pelas mudanças climáticas e pela imensa desigualdade econômica e social, especialmente no Brasil. E com o surgimento
Professor Heitor Ramos profere palestra em seminário de pesquisa na Nova Zelândia
O professor do Departamento de Ciência da Computação (DCC) da UFMG, Heitor Soares Ramos Filho, proferiu, nesta semana, durante um Seminário de Pesquisa, a palestra “Aprendizagem Federada Adversarial: uma visão geral e direções de pesquisa”, O evento foi promovido pela Escola de Matemática e Estatística da Te Herenga Waka—Victoria University of Wellington, na Nova Zelândia.
Professor Heitor Ramos profere palestra em seminário de pesquisa na Nova Zelândia Read More »
O professor do Departamento de Ciência da Computação (DCC) da UFMG, Heitor Soares Ramos Filho, proferiu, nesta semana, durante um Seminário de Pesquisa, a palestra “Aprendizagem Federada Adversarial: uma visão geral e direções de pesquisa”, O evento foi promovido pela Escola de Matemática e Estatística da Te Herenga Waka—Victoria University of Wellington, na Nova Zelândia.
Aluno do DCC apresenta trabalho na 46ª Conferência Internacional ACM SIGIR
Na última semana de julho, Washington Cunha, aluno do doutorado Programa de Pós-graduação em Ciência da Computação da UFMG, apresentou, durante a 46ª Conferência Internacional ACM SIGIR sobre Pesquisa e Desenvolvimento em Recuperação de Informações, ocorrida Taipei, Taiwan, o artigo intitulado “An Effective, Efficient, and Scalable Confidence-Based Instance Selection Framework for Transformer-Based Text Classification”. O
Aluno do DCC apresenta trabalho na 46ª Conferência Internacional ACM SIGIR Read More »
Na última semana de julho, Washington Cunha, aluno do doutorado Programa de Pós-graduação em Ciência da Computação da UFMG, apresentou, durante a 46ª Conferência Internacional ACM SIGIR sobre Pesquisa e Desenvolvimento em Recuperação de Informações, ocorrida Taipei, Taiwan, o artigo intitulado “An Effective, Efficient, and Scalable Confidence-Based Instance Selection Framework for Transformer-Based Text Classification”. O
Professor do DCC profere palestra em seminário em Foz do Iguaçu
Na próxima quarta-feira, 21, o professor do Departamento de Ciência da Computação (DCC) da UFMG, Omar Paranaíba, durante o IEEE Computer Society Annual Symposium on VLSI, irá proferir a palestra “Computação não convencional com nanotecnologias não convencionais”. O seminário, organizado pela Universidade Federal do Rio Grande do Sul (UFRGS), será em Foz do Iguaçu, de
Professor do DCC profere palestra em seminário em Foz do Iguaçu Read More »
Na próxima quarta-feira, 21, o professor do Departamento de Ciência da Computação (DCC) da UFMG, Omar Paranaíba, durante o IEEE Computer Society Annual Symposium on VLSI, irá proferir a palestra “Computação não convencional com nanotecnologias não convencionais”. O seminário, organizado pela Universidade Federal do Rio Grande do Sul (UFRGS), será em Foz do Iguaçu, de
Michele Nogueira, professora do DCC, fala sobre cibersegurança internacional durante Fórum em Uberlândia
Nesta quinta-feira, 1º, a professora do Departamento de Ciência da Computação da UFMG, Michele Nogueira, participou do painel “O Futuro da Cibersegurança Internacional” durante o 13º Fórum da Internet no Brasil (FIB), ocorrido na cidade de Uberlândia, Minas Gerais.
Nesta quinta-feira, 1º, a professora do Departamento de Ciência da Computação da UFMG, Michele Nogueira, participou do painel “O Futuro da Cibersegurança Internacional” durante o 13º Fórum da Internet no Brasil (FIB), ocorrido na cidade de Uberlândia, Minas Gerais.
Prof. Omar Paranaíba profere palestra no Departamento de Física
Colóquio 19/05 – Nanotecnologia Computacional e Nanocomputação: A Grande Cooperação da Física e Computação SOBRE ESTE EVENTO Desde o surgimento dos primeiros computadores eletrônicos na década de 1940, a Computação tem evoluído exponencialmente, criando níveis de abstração que permitiram aplicações serem desenvolvidas sem a necessidade de entender a física por trás da máquina. Neste seminário,
Prof. Omar Paranaíba profere palestra no Departamento de Física Read More »
Colóquio 19/05 – Nanotecnologia Computacional e Nanocomputação: A Grande Cooperação da Física e Computação SOBRE ESTE EVENTO Desde o surgimento dos primeiros computadores eletrônicos na década de 1940, a Computação tem evoluído exponencialmente, criando níveis de abstração que permitiram aplicações serem desenvolvidas sem a necessidade de entender a física por trás da máquina. Neste seminário,
Perfil do cientista brasileiro é apresentado por pesquisadora do DCC
Projeto realizado pela Academia Brasileira de Ciências vai compor ampla base de dados; Raquel Minardi, do DCC, é uma das coordenadoras do trabalho
Perfil do cientista brasileiro é apresentado por pesquisadora do DCC Read More »
Projeto realizado pela Academia Brasileira de Ciências vai compor ampla base de dados; Raquel Minardi, do DCC, é uma das coordenadoras do trabalho
Professor do DCC participa de Simpósio de Inteligência Artificial promovido pela Faculdade de Direito da PUC-MG
O professor do Departamento de Ciência da Computação (DCC) da UFMG, Marcos André Gonçalves, participou nesta segunda-feira (08), no auditório da Puc-Minas São Gabriel, do I Simpósio de Inteligência Artificial: Desafios e Oportunidades. Promovido pela Faculdade de Direito da Pontifícia Universidade Católica de Minas Gerais – Unidade São Gabriel (PUC-MG), o evento discutiu como a
O professor do Departamento de Ciência da Computação (DCC) da UFMG, Marcos André Gonçalves, participou nesta segunda-feira (08), no auditório da Puc-Minas São Gabriel, do I Simpósio de Inteligência Artificial: Desafios e Oportunidades. Promovido pela Faculdade de Direito da Pontifícia Universidade Católica de Minas Gerais – Unidade São Gabriel (PUC-MG), o evento discutiu como a