Impactos sociais e políticos dos algoritmos e da inteligência artificial

>> <<

É possível que o avanço da tecnologia e da inteligência artificial (IA) alterem a economia no futuro? Pessoas perderão seus empregos para máquinas? A evolução tecnológica impacta diferentes setores do mercado e aspectos sociais. Será sobre essas e outras questões, como um novo papel da computação que Virgilio Almeida, professor emérito do departamento de Ciência da Computação da Universidade Federal de Minas Gerais (UFMG) falará em sua palestra.

Virgilio Augusto Fernandes Almeida

DCC/UFMG
Lattes Scholar www

Aprendizado de Máquina Automático: Passado, Presente e Futuro?

>> <<

Nessa palestra mostraremos como o aprendizado de máquina automático (AutoML) deixou a academia e passou a ser uma parte importante das grandes plataformas de cloud para aprendizado de máquina. Falaremos sobre os principais métodos, das vantagens e desvantagens, e discutiremos se realmente é possível democratizar o uso de AutoML, independente de conhecimento prévio do usuário em aprendizado de máquina. Por último, mostraremos como métodos de AutoML podem nos ajudar a entender o que funciona ou não para resolver um novo problema de aprendizado.

Gisele Lobo Pappa

DCC/UFMG
Lattes Scholar www

Problemas de Roteamento na Robótica: Desafios Práticos e Oportunidades

>> <<

Nesta palestra vamos abordar e discutir as principais dificuldades que problemas clássicos de roteamento apresentam ao serem utilizados em sistemas reais. Serão apresentadas variações e modelagens que permitem representar melhor diferentes situações no contexto da robótica, tais como restrições de movimento, casos de falha na navegação e características limitantes do ambiente.

Douglas Guimarães Macharet

DCC/UFMG
ORCID Lattes Scholar www

Automatização de raciocínio via solucionadores SMT

>> <<

Solucionadores SMT são amplamente utilizados na indústria para a automação de aplicações de métodos formais em diversos domínios, tais como verificação de programas, verificação de hardware, análise estática, segurança, geração de testes, síntese de programas, etc. Veremos como utilizar solucionadores SMT para resolver diversos problemas computacionais que surgem nesses domínios.

Haniel Moreira Barbosa

DCC/UFMG
ORCID Lattes Scholar www

Afinal o que é um curso de graduação em Cibersegurança?

>> <<

Esta miniapresentação divulgará a iniciativa da Sociedade Brasilieira de Computação (SBC) através da sua Diretoria de Educação em propor um referencial de formação para os cursos de graduação em Bacharelado em Cibersergurança. Há uma carência mundial de profissionais nesta área. O objetivo é apresentar de modo simples os eixos que abragerão o curso e sua diferença para os cursos, bem como tirar dúvidas da audiência desde o contéudo técnico até as possíveis áreas de atuação.

Aldri Luiz dos Santos

DCC/UFMG
ORCID Lattes Scholar www