23rd Brazilian Symposium on Formal MethodsO SBMF 2020 é a vigésima terceira edição do maior evento nacional devotado ao desenvolvimento, disseminação e uso de métodos formais para construção de sistemas computacionais de qualidade. Nesta edição do SBMF haverá a palestras de Nikolaj Bjørner (Microsoft Research), Martin Leucker (University of Lübeck) e Rohit Gheyi (Universidade Federal de Campina Grande). Devido à COVID-19, pela primeira vez, o evento será realizado on-line utilizando a plataforma Zoom. Em conjunto com o SBMF 2020 ocorrerá a Escola de Ciência da Computação Teórica e Métodos Formais que visa reunir alunos e pesquisadores para divulgar e promover aspectos teóricos da computação. Na ETMF 2020, teremos duas palestras e três tutoriais introdutórios sobre métodos formais voltados para pessoas não familiarizadas com esses assunto. Detalhes sobre inscrições e programação dos eventos podem ser encontrados no site: http://sbmf2020.ufop.br. |
PPGCC - Programa de Pós-Graduação em Ciência da Computação
Departamento de Computação | ICEB | Universidade Federal de Ouro Preto
Campus Universitário Morro do Cruzeiro | CEP 35400-000 | Ouro Preto - MG, Brasil
Telefone: +55 31 3559-1692 | secretaria.ppgcc@ufop.edu.br