Marcos André Gonçalves
DCC/UFMG
Desmistificando o ChatGPT
Novas tecnologias para descarbonização e digitalização industrial
Como uma empresa alemã, líder mundial, criou um centro de competências em Belo Horizonte para exportar software e serviços para todo mundo.
Thiago Maia @Vetta
Ricardo Giacomin @Vetta
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.
Cibersegurança
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.
