WMF'2002 - Chamada de Participação
15 - 16 de Outubro, 2002, Gramado, RS, Brasil
****************************************************
** ATENÇÃO - Inscrições com desconto até 25 de setembro **
****************************************************
=========================
CHAMADA DE PARTICIPAÇÃO
=========================
WMF2002 - 5o Workshop de Métodos Formais
Promoção SBC, Sociedade Brasileira de Computação
Gramado, Rio Grande do Sul, Brasil
15 - 16 Outubro, 2002
http://www.sbc.org.br/wmf/
Preços com desconto para inscrições com antecedência estão sendo oferecidos. Maiores informações em http://www.sbc.org.br/wmf/
--- Introdução ---
WMF (Workshop de Métodos Formais) é o principal evento da SBC (Sociedade Brasileira de Computação) relacionado a Métodos Formais. WMF é 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 programa do evento é composto por tutoriais básicos e avançados, bem como sessões técnicas onde pesquisadores apresentarão os mais novos resultados de suas pesquisas em métodos formais.
WMF é realizado em conjunto com o XVI SBES (Simpósio Brasileiro de Engenharia de Software), 16-18 de outubro de 2002, e o XVII SBBD (Simpósio Brasileiro de Banco de Dados), 14-16 de outubro de 2002.
--- Tutoriais ---
Tutorial avançado: Notes on Categorical Logic with Applications to Rewriting Semantics. Fabio Gaducci (University of Pisa)
Tutorial básico: Refinamento: Orientação a Objetos e Concorrência. Ana Cavalcanti (UFPE)
Tutorial básico: Hierarquia de Modelos para Concorrência. Paulo Blauth Menezes (UFRGS)
--- Trabalhos completos ---
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)
--- Trabalhos em andamento ---
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)
Voltar à página do WMF'2002