22nd Brazilian Symposium on Formal Methods

• Grant number: 19/12722-7
• Support Opportunities: Organization Grants - Organization of Scientific Meeting
• Start date: November 26, 2019
• End date: November 29, 2019
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Ana Cristina Vieira de Melo
• Grantee: Ana Cristina Vieira de Melo
• Host Institution: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brazil
• City of the host institution: São Paulo

Abstract

As atividades do SBMF 2019 estão programadas para os dias de 26 a 29 de novembro de 2019 no Instituto de Matemática e Estatística (IME) da Universidade de São Paulo (USP), São Paulo, SP. Essas atividades estão distribuídas entre palestras e tutoriais convidados do simpósio (SBMF) e evento satélite (ETMF), e apresentação dos trabalhos de pesquisa selecionados no simpósio.Evento Satélite: IV Escola de Informática Teórica e Métodos Formais (ETMF 2019). A escola é um evento satélite do Simpósio Brasileiro de Métodos formais e visa congregar estudantes, pesquisadores e profissionais do mercado para divulgar e promover aspectos teóricos e práticos de métodos formais, particularmente: (i) qualificar a formação de estudantes e profissionais nas áreas fundamentais e práticas de métodos formais; (ii) discutir metodologias de ensino dessa área. A ETMF 2019 será coordenada pelos coordenadores gerais do SBMF2019: Ana Cristina Vieira de Melo (USP) e Simone Hanazumi (HP).A programação (preliminar) do SBMF 2019 está estruturada da seguinte forma: 26/Nov (ETMF):2 tutoriais internacionais convidados; 1 tutorial nacional convidado27-29/Nov (SBMF):2 palestrantes internacionais convidados;2 palestrantes nacionais convidados;5 sessões técnicas com apresentação de trabalhos selecionados;1 painel relacionando métodos formais e indústria de software; (AU)