WMF'2002 - Call for Papers
October 15th - 16th, 2002, Gramado, RS, Brazil
Objectives: 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. Previous conferences have been
held in Porto Alegre (1998), Florianópolis (1999),João Pessoa (2000)
and Rio de Janeiro (2001).
This workshop series has been sponsored by the Brazilian Computer
Society and held together with the Brazilian Symposium on Software
Engineering since 1999. The 2002 event will be held in Gramado, a
nice village in the state of Rio Grande do Sul .
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. To
achieve this, we will devote sessions to the presentation of new
research results either as long or short papers, as well as having
tutorial sessions, either at the introductory level, for undergraduate
students, or at an advanced level, to introduce hot new topics into
the Brazilian research community. Papers describing original work in
all aspects of formal methods are invited. Topics include, but are not
limited to :
- well-founded specification and design languages;
- formal design methods;
- model checking;
- theorem-proving;
- formal aspects of popular languages and methodologies;
- tools supporting the formal development of computational systems;
- systems application and experience reports of formal methods.
Paper submission: Papers shall be submitted in Portuguese or English
(preferred). Two types of submissions will be considered: short papers
and long papers. Short papers should not exceed 8 pages, while long
papers are limited to 16 pages. Papers shall be submitted in
Postscript or PDF format using the page submission form. The
proceedings will be distributed to the participants during the
Workshop. We are negotiating the publication of the best long papers
written in English with a scientific publisher.
- June 9th, 2002: Extended deadline for paper submission
- July 15th, 2002: Notification of acceptance
- August 2nd, 2002: Camera-ready papers
Back to the WMF'2002 web page