O SNAIL é uma série de seminários sobre Inteligência Artificial e Lógica organizada pelos alunos do Laboratório de Inteligência Artificial e Métodos Formais da USP (LIAMF). As apresentações são quinzenais e englobam tópicos de Inteligência Artificial, Lógica e áreas correlatas. Os seminários são abertos e gratuitos! Venha assistir! E se você tem interesse em apresentar um SNAIL, basta preencher este formulário. 🐌

Para acessar os slides dos seminários passados, clique neste link.