Simpósio Brasileiro de Métodos Formais (SBMF)

Ocorrerá em Salvador, no período de 26 a 29 de agosto de 2008 o Simpósio
Brasileiro de Métodos Formais (SBMF), encontro anual brasileiro da área de métodos formais, organizado sob a chancela científica da Sociedade Brasileira de Computação.

O SBMF 2008 é o décimo primeiro de uma série de eventos dedicados à disseminação do desenvolvimento e uso de métodos formais para o projeto e verificação de sistemas computacionais.
Trata-se de um evento bem estabelecido,com uma excelente reputação nacional e internacional entre as instituições acadêmicas e agências de pesquisa.
O evento se propõe a fornecer uma oportunidade para os pesquisadores, com uma variada gama de interesses em utilizar métodos formais para o desenvolvimento de sistemas
computacionais e software, discutirem os recentes avanços ocorridos nessa área de conhecimento.

A programação do evento incluirá, além da apresentação de aproximadamente 16 trabalhos selecionados, 04 palestras convidadas, a serem proferidas pelos
palestrantes:
1) Ana Cavalcanti (University of York, UK)
>From Stateflow Diagrams to Ada via Circus (De Diagramas de Fluxo de Estado para ADA via Circus)
2) David Deharbe (UFRN, BR) - A Aplicação do Método B em Problemas do Grande Desafio
3) Patrice Godefroide (Microsoft Research, Redmond, US) - Verificação de Modelos de Software através de Testes Sistemáticos
4) Thierry Jéron (IRISA / INRIA, FR) - Symbolic model-based test selection (Seleção de Testes Baseada em Modelos Simbólicos)

Além das palestras, 04 minicursos também estão previstos, tendo como público alvo alunos de graduação e pósgraduação.

Os minicursos serão ministrados pelos seguintes pesquisadores:

1) Marco Winckler (IRIT, FR) - Abordagens Baseadas em Modelos para o
Projeto de Sistemas Interativos Críticos Seguros
2) Franklin Ramalho (UFCG, BR) - Minicurso Model-Driven Architecture (MDA) e Geração de Código
3) Marcelo dAmorim (UFPE, BR) - Fundamentos do Teste de Software
4) Edward Hermann Haeusler (PUC-RIO, BR) - Teoria da Computação, o Barbeiro e o Mentiroso

A realização deste evento aqui em Salvador será de grande importância para as empresas de software, a comunidade científica da área de computação, pesquisadores e alunos graduação e de pós-graduação. O SBMF representa uma oportunidade de interação com pesquisadores renomados, com vasta atuação na área de métodos formais, e de entrar em contato com resultados de pesquisa recentes que estão sendo desenvolvidas no Brasil e exterior em torno da utilização de formalismos no desenvolvimento de sistemas computacionais confiáveis. Hoje, o uso de métodos formais está reconhecido como sendo essencial para o estabelecimento de uma indústria de sistemas computacionais de alto valor agregado. Infelizmente, essa matéria não é oferecida na maioria dos cursos de computação do nosso Estado.

Por favor, peço que divulgue o SBMF 2008 nas suas instituições. Para maiores informações, visite http://www.lasid.ufba.br/sbmf2008/