WMF'2002 - Call for Participation
October 15th - 16th, 2002, Gramado, RS, Brazil
*************************************************************
** ATTENTION - Lower prices for earlier registration till September, 25 **
*************************************************************
======================
CALL FOR PARTICIPATION
======================
WMF2002 - 5th Workshop on Formal Methods
Promoted by SBC, Brazilian Computer Society
Gramado, Rio Grande do Sul, Brazil
October 15 - 16, 2002
http://www.sbc.org.br/wmf/
Lower prices for earlier registration are offered. Please refer to
http://www.sbc.org.br/wmf/ for registration details.
--- Overview ---
WMF (Workshop on Formal Methods) is the main event of SBC (Brazilian Computer Society) devoted to Formal Methods. WMF workshops are devoted to the development and use of formal methods and tools for the design and verification of computational systems.
The program is composed of basic and advanced tutorials as well as technical sessions where academia present its latest research results on this topic.
WMF is co-located with the XVI SBES (Brazilian Symposium on Software Engineering), 16-18 October 2002 and the XVII SBBD (Brazilian Symposium on Databases), 14-16 October 2002.
--- Tutorials ---
Advanced tutorial: Notes on Categorical Logic with Applications to Rewriting Semantics. Fabio Gaducci (University of Pisa)
Basic tutorial: Refinamento: Orientação a Objetos e Concorrência. Ana Cavalcanti (UFPE)
Basic tutorial: Hierarquia de Modelos para Concorrência. Paulo Blauth Menezes (UFRGS)
--- Full papers ---
Using Denotational Semantics in the Validation of the Compiler for a Mutation-Oriented Language. Adenilso da Silva Simão, José Carlos Maldonado (USP-São Carlos), Roberto da Silva Bigonha (UFMG)
A Formal Semantics for the Language Genesis: an Application of the Z Notation and Plotkin's Structured Operational Semantics Style. Jorge Henrique Cabral Fernandes (UFRN)
Towards an Automata-Based Navigational Model for the Specification of Web Sites. Graçaliz Pereira Dimuro (UCPel), Antônio Carlos da Rocha Costa (UCPel, UFRGS)
Complexidade de Kolmogorov e Caracterização da Hierarquia de Classes de Linguagens Formais: Uma Introdução. Carlos A. P. Campani (UFPel), Paulo Blauth Menezes (UFRGS)
On the Expressive Power of Fork Arrow Logic. Renata Pereira de Freitas, Paulo A. S. Veloso (UFRJ), Jorge Petrucio Viana (UFRJ, UFF), Sheila R. M. Veloso, Mario R. F. Benevides (UFRJ)
Aplicação da Complexidade de Kolmogorov na Caracterização e Avaliação de Modelos Computacionais e Sistemas Complexos. Carlos A. P. Campani (UFPel), Paulo Blauth Menezes (UFRGS)
Efficient Analysis of Infinite CSPZ Specifications. Adalberto Farias, Alexandre Mota, Augusto Sampaio (UFPE)
Uma Estratégia de Análise de Modelos em Redes de Petri e Orientação a Objetos. Érica de Lima Gallindo Ribeiro, Angelo Perkusich (UFPB)
Test Sequence Generation and Model Checking Using Dynamic Transition Relations. Sérgio Campos (UFMG), Orna Grumberg, Karen Yorav (Israel Institute of Technology), Copty Fady (Intel Corporation)
Automation of a Normal Form Reduction Strategy for Object-Oriented Programming. Bruno Lira, Ana Cavalcanti, Augusto Sampaio (UFPE)
--- Work in progress papers---
Especificação Formal da Entidade SNMPv3 Usando Semântica de Ações. Diógenes Cogo Furlan (UTP), Elias Procópio Duarte Jr., Martin Musicante (UFPR)
Deadlock Detection in Algebraic Specifications for Concurrent Systems. Marcelo Sihman (Israel Institute of Technology), Mario R. F. Benevides (UFRJ)
Uma Metodologia para Verificação de Modelos de Sistemas de Comércio Eletrônico. Adriano Pereira, Mark Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Campos (UFMG)
Verifying Meta-Patterns by Extending a Formal Model of OO-Design. Luis Reynoso, Alejandra Cechich (Universidad Nacional del Comahue)
Especificação Formal de uma Arquitetura de Suporte à Descoberta de Serviços em Redes Móveis Ad Hoc. Renato Bagatelli, David F. C. Moura (UFRJ, Exército Brasileiro), Aloysio C. P. Pedroza (UFRJ)
Back to the WMF'2002 web page