Objetivos: WMF'2002 é o quinto em uma série de workshops voltados
ao desenvolvimento e uso de métodos formais e ferramentas para especificação
e verificação de sistemas computacionais. Prévias conferências foram realizadas
em Porto Alegre (1998), Florianópolis (1999), João Pessoa (2000) e Rio de Janeiro (2001).
Esta série de workshops é patrocinada pela Sociedade Brasileira de Computação
e acontece juntamente com o Simpósio Brasileiro de Engenharia de Software
desde 1999. O evento de 2002 será realizado em Gramado, uma bela cidade no estado
do Rio Grande do Sul.
O objetivo deste workshop é reunir pesquisadores e usuários
da universidade e indústria, e promover o uso de métodos formais
nas diferentes disciplinas da ciência da computação. Para atingir
estes objetivos, serão realizadas sessões para a apresentação de
novos resultados de pesquisas tanto em artigos longos quanto curtos,
também haverá sessões de tutoriais, de nível introdutório, para
estudantes de graduação, e nível avançado, voltados à introdução
de tópicos relevantes de pesquisa para a comunidade de pesquisadores brasileiros.
Artigos descrevendo trabalhos originais em todos os aspectos de métodos
formais são bem-vindos. Tópicos incluídos, mas não limitados, são:
- especificação bem-fundamentada e linguagens de especificação;
- métodos de especificação formal;
- verificação de modelos;
- prova de teoremas;
- aspectos formais de linguagens e metodologias;
- ferramentas para o suporte ao desenvolvimento formal
de sistemas computacionais;
- aplicação de sistemas e relatos de experiências no uso de
métodos formais.
Submissão de artigos: Artigos podem ser submetidos em português ou
inglês (preferencialmente). Dois tipos de submissão serão considerados:
artigos curtos e artigos longos. Artigos curtos não deverão exceder 8 páginas,
enquanto artigos longos estão limitados a 16 páginas. Os artigos deverão
ser submetidos em formato Postscript ou PDF através da página de submissão de artigos.
Os anais do evento serão distribuídos aos participantes durante o Workshop.
Estamos negociando a publicação dos melhores artigos longos escritos em
inglês com uma editora científica.
- 9 de Junho, 2002: Limite prorrogado para a submissão de artigos
- 15 de Julho, 2002: Notificação de aceitação
- 2 de Agosto, 2002: Versão final do artigo