5th WORKSHOP ON FORMAL METHODS (WMF'2002)

October 15th - 16th, 2002, Gramado, RS, Brazil

WMF'2002 is the fifth in a series of workshops devoted to the development and use of formal methods and tools for the design and verification of computational systems. The aim of this workshop is to bring together researchers and users from academia and industry and to promote the use of the formal methods across the different disciplines of computer science. WMF'2002 will be held with the SBES'2002 (Brazilian Symposium on Software Engineering). Following WMF'2001 held in Rio de Janeiro (RJ-Brazil), WMF'2002 will provide an opportunity for researchers with a broad range of interests in formal methods to discuss the recent developments on this field. Call for Participation Call for Papers Instructions for Authors Registration Program Invited Speakers About Gramado, Gramado Site   Important dates: Submission Deadline: June 9th, 2002 Notification of acceptance/rejection: July 15th, 2002 Camera-ready papers: August 2nd, 2002 Conference: October 15th - 16th, 2002

Program Chair: David Déharbe Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte Brazil Email: david@dimap.ufrn.br Phone: + 55 84 215 3814 Fax: + 55 84 215 3813 Program Committee: Ana Lúcia Cavalcanti, UFPE, Brazil Anamaria Moreira, UFRN, Brazil Ângelo Perkusich, UFPB, Brazil Arnaldo Moura, UNICAMP, Brazil Augusto Sampaio, UFPE, Brazil Claude Kirchner, LORIA, France Daltro J. Nunes, UFRGS, Brazil Edward Hermann Haeusler, PUC-Rio, Brazil Helmut Veith, TU Vienna, Austria Jorge Figueiredo, UFPB, Brazil Karsten Schmidt, Humbold Univ, Germany Mario Benevides, UFRJ, Brazil Paulo Blauth, UFRGS, Brazil Roberto Bigonha, UFMG, Brazil Sérgio Campos, UFMG, Brazil Wamberto Vasconcelos, Univ. of Edinburgh, UK Conference Chair: Alfio Martini Faculdade de Informática Pontifícia Universidade Católica do Rio Grande do Sul, Brazil Email: alfio@inf.pucrs.br Organizing Committee: Alfio Martini Juliana K. Vizzotto Julio H. P. Machado