Tuesday (15/10)
08:00 - 09:00	REGISTRATION
09:00 - 10:00	OPENING Bialgebras for HD-Automata Ugo Montanari
10:00 - 10:30	Coffee Break
10:30 - 12:30	TECHNICAL SESSION I - SEMANTICS Using Denotational Semantics in the Validation of the Compiler for a Mutation-Oriented Language Adenilso Simão, José Carlos Maldonado, Roberto da Silva Bigonha A Formal Semantics for the Language Genesis Jorge Fernandes Towards an Automata-Based Navigational Model for the Specification of Web Sites Graçaliz Pereira Dimuro, Antônio Carlos da Rocha Costa Especificação Formal da Entidade SNMPv3 usando Semântica de Ações Diogenes Furlan, Elias Procopio Duarte Jr., Martin A. Musicante
12:30 - 14:00	Lunch
14:00 - 16:00	TUTORIAL A Notes on Categorical Logic with Applications to Rewriting Semantics Fabio Gaducci
16:00 - 16:30	Coffee Break
16:30 - 18:00	TECHNICAL SESSION II - THEORETICAL FOUNDATIONS Complexidade de Kolmogorov e Caracterização da Hierarquia de Classes de Linguagens Formais Carlos Campani, Paulo Blauth Menezes The Expressive Power of Fork Arrow Logic Jorge Petrucio Viana, Renata Pereira de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides Aplicação da Complexidade de Kolmogorov na Caracterização e Avaliação de Modelos Computacionais Carlos Campani, Paulo Blauth Menezes
18:00 - 20:00	MEETING

	Wednesday (16/10)
08:00 - 10:00	TUTORIAL B1 Refinamento: Orientação a Objetos e Concorrência Ana Cavalcanti
10:00 - 10:30	Coffee Break
10:30 - 12:30	TECHNICAL SESSION III - AUTOMATED VERIFICATION Efficient Analysis of Infinite CSPZ Specifications Adalberto Farias, Alexandre Mota, Augusto Sampaio Uma Estratégia para Análise de Modelos em Redes de Petri e Orientação a Objetos Érica Gallindo, Angelo Perkusich Deadlock Detection in Algebraic Specifications for Concurrent Systems Marcelo Sihman, Mario R. F. Benevides 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
12:30 - 14:00	Lunch
14:00 - 16:00	TECHNICAL SESSION IV - NEW TECHNIQUES AND APPLICATIONS OF FORMAL METHODS Test Sequence Generation and Model Checking Using Dynamic Transition Relations Sérgio Campos, Orna Grumberg, Karen Yorav, Copty Fady Automation of a Normal Form Reduction Strategy for Object-Oriented Programming Bruno Lira, Ana Cavalcanti, Augusto Sampaio Verifying Meta-Patterns by extending a Formal Model of O-O Design Luis Reynoso, Alejandra Cechich Especificação Formal de uma Arquitetura de Suporte à Descoberta de Serviços em Redes Móveis Ad Hoc Renato Bagatelli, David Fernandes Cruz Moura, Aloysio de Castro Pinto Pedroza
16:00 - 16:30	Coffee Break
16:30 - 18:30	TUTORIAL B2 Hierarquia de Modelos para Concorrência Paulo Blauth Menezes
18:30 - 20:00	MEETING