5 WORKSHOP DE MÉTODOS FORMAIS (WMF'2002)

15 - 16 de Outubro, 2002, Gramado, RS, Brasil

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. 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. O WMF'2002 será realizado em conjunto com o SBES'2002 (Simpósio Brasileiro de Engenharia de Software). Dando seqüência ao WMF'2001, realizado no Rio de Janeiro (RJ-Brasil), o WMF'2002 promoverá oportunidades a pesquisadores com uma gama variada de interesses em métodos formais de discussão dos recentes avanços neste campo. Chamada de Participação Chamada de Trabalhos Instruções para os Autores Inscrição Programa Palestras Convidadas Sobre Gramado, Gramado Site   Datas importantes: Limite submissão: 9 de Junho, 2002 Notificação de aceitação/rejeição: 15 de Julho, 2002 Versão final do artigo: 2 de Agosto, 2002 Conferência: 15 - 16 de Outubro, 2002

Coordenação da Comissão de Programa: David Déharbe Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte, Brasil Email: david@dimap.ufrn.br Fone: + 55 84 215 3814 Fax: + 55 84 215 3813 Comissão de Programa: Ana Lúcia Cavalcanti, UFPE, Brasil Anamaria Moreira, UFRN, Brasil Ângelo Perkusich, UFPB, Brasil Arnaldo Moura, UNICAMP, Brasil Augusto Sampaio, UFPE, Brasil Claude Kirchner, LORIA, França Daltro J. Nunes, UFRGS, Brasil Edward Hermann Haeusler, PUC-Rio, Brasil Helmut Veith, TU Vienna, Áustria Jorge Figueiredo, UFPB, Brasil Karsten Schmidt, Humbold Univ., Alemanha Mario Benevides, UFRJ, Brasil Paulo Blauth, UFRGS, Brasil Roberto Bigonha, UFMG, Brasil Sérgio Campos, UFMG, Brasil Wamberto Vasconcelos, Univ. of Edinburgh, Reino Unido Coordenação da Conferência: Alfio Martini Faculdade de Informática Pontifícia Universidade Católica do Rio Grande do Sul, Brasil Email: alfio@inf.pucrs.br Comissão Organizadora: Alfio Martini Juliana K. Vizzotto Julio H. P. Machado