XXII Simpósio Brasileiro de Métodos Formais (SBMF2019)

• Processo: 19/12722-7
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 26 de novembro de 2019
• Data de Término da vigência: 29 de novembro de 2019
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Ana Cristina Vieira de Melo
• Beneficiário: Ana Cristina Vieira de Melo
• Instituição Sede: Instituto de Matemática e Estatística (IME). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Engenharia de software
• Palavra(s)-Chave do Pesquisador: Engenharia de Software | Métodos Formais | Teste Formal | Métodos Formais

Resumo

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)