Amazonas – O Instituto de Computação da Universidade Federal do Amazonas (IComp/Ufam), receberá de 4 a 8 de dezembro, a 26ª edição do Simpósio Brasileiro de Métodos Formais (SBMF-2023). O evento de divulgação científica reunirá pesquisadores, alunos e profissionais de diversos países para discutir a relevância de desenvolver sistemas computacionais com garantia de funcionamento correto, segurança e sistemas de inteligência artificial confiáveis.
Essa edição marca a retomada presencial do evento que ocorreu de forma virtual nos últimos três anos e terá como palestrantes principais o professor Artur D’avila Garcez, da Universidade da Cidade de Londres, e a professora Chantal Keller, da Univesité Paris-Saclay, que abordarão a IA Neurosimbólica para Alcançar uma IA Confiável, e o Raciocínio Automatizado para a Teoria dos Tipos, respectivamente. O diretor técnico do Stanford Research Institute (SRI), Dr Stéphane Graham-Lengrand também irá palestrar no evento.
Workshop Internacional Sobre Raciocínio Formal Automatizado Para Garantir Sistemas De IA Confiáveis
Simultaneamente à 26ª edição do Simpósio Brasileiro de Métodos Formais, o IComp também sediará, no dia 5 de dezembro, a segunda edição do Workshop Internacional Sobre Raciocínio Formal Automatizado Para Garantir Sistemas de IA Confiáveis, o AFRITS 2023, que teve início em Manchester, na Inglaterra, e que discutirá no IComp/Ufam, os principais problemas para IA confiável e os desafios para o seu processo automatizado, segurança cibernética, segurança para IA e IA para segurança.
O Workshop será aberto ao público que tiver interesse em participar, ou seja, alunos, professores, pesquisadores, empresas ou instituições, e recebe submissões de trabalhos até o dia 1º. de setembro através do link: https://easychair.org/conferences/?conf=afrits2023.
O evento ainda contará com palestras, apresentações de pôsteres e uma mesa redonda com o tema, “Raciocínio Formal Automatizado para Sistemas de IA Confiáveis”.
