Desde: 19-10-1998
Hasta: 21-10-1998
Lugar: Porto Alegre RS, Brasil
I WORKSHOP BRASILEIRO DE METODOS FORMAIS - WMF'98
http://www.inf.ufrgs.br/~wmf98
CHAMADA PARA PARTICIPACAO
19 a 21 de Outubro, 1998
Porto Alegre - RS
Promocao: SBC
Apoio: FAPERGS, CNPq, CAPES
Realizacao: II/UFRGS
A area de Metodos Formais e' uma das mais
promissoras da
Ciencia da
Computacao. No desenvolvimento de software,
Metodos Formais
podem ser
utilizados para a descricao de sistemas,
verificacao e analise de
propriedades, verificacao da correcao de uma
implementacao,
otimizacao,
descricao e verificacao do
processo de desenvolvimento do sistema e ate mesmo
para
orientar no
encontro de uma solucao mais elegante, simples e
eficiente.
A solucao de
um problema pode ser representada por uma
especificacao formal
e esta pode
ser validada, atraves de sua execucao (simulacao),
ou ainda ser
analisada e
verificada formalmente, provando-se propriedades
do sistema antes
mesmo de
sua implementacao ou correcao antes de sua
execucao.
Os Metodos Formais nao se limitam somente a
sistemas de
software, mas a
qualquer sistema, pois eles proporcionam a
construcao e analise
de modelos
matematicos que representam a realidade.
Assim, o comportamento de implementacoes de
sistemas fisicos
podem ser
previamente conhecidos e validados.
A escolha do metodo formal adequado para cada tipo
de problema
depende do
tipo de aplicacao e tipo de analise que se deseja
fazer.
No processo de desenvolvimento de uma mesma
aplicacao,
podem ser utilizados
varios metodos formais diferentes, cada um
explorando um ponto
de vista.
O Objetivo do Workshop e reunir pesquisadores
interessados
nesta area tao
importante da Computacao, trocando experiencias,
apresentando
artigos
originais, descrevendo suas pesquisas
instituicionais, de tal forma
que,
juntos, venham fortalecer o desenvolvimento desta
importante area
no pais.
Os pesquisadores abaixo listados confirmaram sua
presenca para
descrever o
estado da arte das pesquisas realizadas nesta area
em suas
instituicoes:
Roberto Bigonha (UFMG)
Sheila Veloso (UFRJ)
Armando Haeberer (PUC-Rio)
Edward Hermann Hausler (PUC-Rio)
Murilo Silva de Camargo (UFSC)
Rafael Lins (UFPE)
Paulo Borba (UFPE)
Ana Cristina Vieira de Melo (IME-USP)
Sergio Schneider (UFU)
J. Carlos Maldonado (ICMC-USP)
Daltro Jose Nunes (UFRGS)
Dalcidio Moraes Claudio (PUCRS)
Antonio Carlos Rocha Costa (UCPel)
TOPICOS
O WMF'98 inclui, mas nao esta restrito, aos
seguintes temas:
* Especificacao formal e metodos formais para
desenvolvimento
de sistemas
* Semantica formal e modelos de computacao
* Verificacao formal
* Analise formal de algoritmos
* Metodos formais para inteligencia artificial,
automacao industrial,
protocolos de comunicacao, circuitos digitais,
bancos de dados,
sistemas
tolerantes a falhas, especificacao e semantica de
sistemas
concorrentes, de
tempo real, orientados a objetos, distribuidos,
etc.
* Fundamentos logicos e algebricos da computacao
* Aplicacoes de metodos formais
PROGRAMA
1. Estao programadas 12 apresentacoes sobre a
pesquisa em
metodos formais
realizada em varias instituicoes brasileiras.
2. Serao realizados dois paineis:
* Ensino de Informatica Teorica na Graduacao e
Pos-Graduacao
* Cooperacao Nacional em Informatica Teorica
3. Serao apresentados os seguintes trabalhos:
A Categorial Study of Primitive Recursion
on Natural Numbers
R.Reiser, A.R.Costa & Gracaliz Dimuro
A Topological Characterization for the
Bi-Structured Interval Coherence Space
Gracaliz P. Dimuro & A.R. Costa
Algebraic Models for Parallel Programs
with Multiple Threads
Airam Jonatas Preto & John Richard Gurd
An Algorithm for General Unification
Modulo Presburger
Arithmetic
Ivan E. Tavares Ara'ujo e Mauricio Ayala
Rinc'on
An Iteractive Abstract State Machine
Marcelo Maia e Roberto Bigonha
Analise Formal de um Modelo Eletronico de
Sist. de Pagto.
Eletronico
Lucas de Carvalho Ferreira e Ricardo Dahab
Design of an object-oriented formal
specification language
M. Cornelio & P. Borba
Formalizing an OO Framework Design and
Instantiation Method
Christiano de O. Braga et al
LoRec: uma linguagem logica de
especificacao de sistemas
concorrentes, desenvolvida a partir do uso
de recursos em
redes de Petri Lugar/transicao
Eliana Almeida e Edward Hausler
Model checking VHDL with CV
D. Deharbe, S. Shankar & E. M. Clarke
Slicing: A novel application for BDD-based
modeling of VHDL
D. Deharbe
Specifying a Graph Grammar Editor for
Reactive Systems
R. Bardohl & Leila Ribeiro
Testing in a stepwise formal development
P. D. L. Machado
Validacao de Especificacoes formais com
aplicacao do criterio
analise de mutantes
Jose Carlos Maldonado, Sandra CPF fabbri e
Paulo Cesar
Masiero
Synchronous transisitons and their
temporal logic
V. M. Rodrigues & F. R. Wagner
LOCAL DO WORKSHOP
O Workshop sera realizado no Anfiteatro do
Instituto de Informatica
da
Universidade Federal do Rio Grande do Sul,
localizado na:
Av. Bento Goncalves, 9.500 -- Bloco IV
Bairro Agronomia
91509-900 Porto Alegre --RS
ORGANIZACAO
Coordenador Geral: Prof. Dr. Daltro Jose Nunes
(UFRGS)
Coordenadora (Comite Organizador): Profa. Dra.
Leila Ribeiro Korff
(UFRGS)
Comite de Programa:
Paulo Blauth Menezes (UFRGS) -- Coordenador
Armando Haeberer (PUC-Rio)
Edward Hermann Hausler (PUC-Rio)
Rafael Lins (UFPE)
Paulo Borba (UFPE)
Ana Cristina Vieira de Melo (IME-USP)
Sergio Schneider (UFU)
J. Carlos Maldonado (ICMC-USP)
Jean-Marie Farines (UFSC)
Roberto Bigonha (UFMG)
Sheila Veloso (UFRJ)
Paulo Veloso (UFRJ)
Murilo Silva de Camargo (UFSC)
Para maiores informacoes, contactar:
Prof. Dr. Daltro Jose Nunes: dal...@inf.ufrgs.br
ou
Profa. Dra. Leila Ribeiro Korff:
le...@inf.ufrgs.br ou
Prof. Dr. Paulo Blauth Menezes:
bla...@inf.ufrgs.br
-----------------------------------------------------
Paulo F. Blauth Menezes
Universidade Federal do Rio Grande do Sul
Departamento de Informatioca Teorica - Instituto
de Informatica
Av. Bento Goncalves 9500 - Bloco IV
Caixa Postal 15064
91501-970
Porto Alegre - RS - BRAZIL
Telephone: +55 51 316-6716
Fax: +55 51 319-1576
E-mail: bla...@inf.ufrgs.br
WWW: http://www.inf.ufrgs.br/~blauth
----<*>-----<*>-----<*>--.N.O.T.I.A.M.C.A.--<*>-----<*>-----<*>-----<*>
Los mensajes son archivados en:
http://venus.unl.edu.ar/majordomo-span.html
----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>-----<*>
