DCC recebe pesquisador do Instituto Checo de Informática, Robótica e Cibernética para palestra presencial
Na próxima sexta-feira, 25, às 14 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o pesquisador sênior do Instituto Checo de Informática, Robótica e Cibernética, Mikoláš Janota, irá proferir a palestra “Towards ML for Automated Reasoning”.
Na próxima sexta-feira, 25, às 14 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx) da UFMG, o pesquisador sênior do Instituto Checo de Informática, Robótica e Cibernética, Mikoláš Janota, irá proferir a palestra “Towards ML for Automated Reasoning”.










