XIV Simpósio brasileiro de métodos formais (SBMF 2011)

• Processo: 11/00544-5
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 26 de setembro de 2011
• Data de Término da vigência: 30 de setembro de 2011
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Marcelo Fantinato
• Beneficiário: Marcelo Fantinato
• Instituição Sede: Escola de Artes, Ciências e Humanidades (EACH). Universidade de São Paulo (USP). São Paulo , SP, Brasil
• Assunto(s): Softwares
• Palavra(s)-Chave do Pesquisador: Computação | formalismos | Métodos Formais | modelos | software | verificação | Métodos Formais

Resumo

O SBMF será composto por uma série de atividades específicas dentro do congresso CBSoft do qual ele fará parte (por favor, veja detalhes em "Observações/Manifestações, obervação no. 1") e outras atividades compartilhadas com os demais simpósios que ocorrerão em paralelo. Das atividades específicas do SBMF, das quais se refere este pedido de auxílio, serão realizadas duas palestras convidadas internacionais (de 1:30 hora de duração) abertas à comunidade geral do simpósio e dois minicursos (de 3:00 horas) destinados a apresentar a estudantes de graduação e de pós-graduação conceitos em áreas novas e importantes que eles desejam adquirir conhecimentos, conforme documentação anexa a este pedido. Além disso, uma série de, aproximadamente, seis sessões técnicas (de 1:30 hora de duração) será realizada para apresentar os artigos científicos previamente submetidos pela comunidade e selecionados pelo comitê de programa. Essas atividades serão realizadas durante a semana. Como complemento, algumas atividades serão realizadas de forma compartilhada entre os vários simpósios concorrentes ao SBMF, incluindo: seis tutoriais, sete workshops, seis sessões de demonstração de ferramentas, trilha de indústria, painel, entre outros. (AU)