Busca avançada
Ano de início
Entree

XXII simpósio brasileiro de métodos formais (SBMF2019)

Processo: 19/12722-7
Linha de fomento:Auxílio à Pesquisa - Organização de Reunião Científica
Vigência: 26 de novembro de 2019 - 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 

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)