Terça-feira (15/10)
08:00 - 09:00	INSCRIÇÕES
09:00 - 10:00	ABERTURA Bialgebras for HD-Automata Ugo Montanari
10:00 - 10:30	Coffee Break
10:30 - 12:30	SESSÃO TÉCNICA I - SEMÂNTICA 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	Intervalo para Almoço
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	SESSÃO TÉCNICA II - FUNDAMENTOS TEÓRICOS 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	REUNIÃO DE GRUPOS DE TRABALHO

	Quarta-feira (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	SESSÃO TÉCNICA III - VERIFICAÇÃO AUTOMATIZADA 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	Intervalo para Almoço
14:00 - 16:00	SESSÃO TÉCNICA IV - NOVAS TÉCNICAS E APLICAÇÕES DE MÉTODOS FORMAIS 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	REUNIÃO DE GRUPOS DE TRABALHO