19 a 21 de Outubro, 1998
Porto Alegre - RS
ÚLTIMA CHAMADA DE TRABALHOS
Promoção: SBC
A área de Métodos Formais é uma das mais promissoras da Ciência da Computação. No desenvolvimento de software, Métodos Formais podem ser utilizados para a descrição de sistemas, verificação e análise de propriedades, verificação da correção de uma implementação, otimização, descrição e verificação do processo de desenvolvimento do sistema e até mesmo para orientar no encontro de uma solução mais elegante, simples e eficiente. A solução de um problema pode ser representada
por uma especificação formal e esta pode ser validada, através de sua execução (simulação), ou ainda ser analisada e verificada formalmente, provando-se propriedades do sistema antes mesmo de sua implementação ou correção antes de sua execução.
Os pesquisadores abaixo listados confirmaram sua presença para descrever
o estado da arte das pesquisas realizadas nesta área em suas instituições
TOPICOS
O WMF'98 inclui, mas não está restrito, aos seguintes temas:
* Especificação formal e métodos formais para desenvolvimento de sistemas
LOCAL DO WORKSHOP
O Workshop será realizado no Anfiteatro do Instituto de Informática da Universidade Federal do Rio Grande do Sul ,
DATAS IMPORTANTES
Recebimento dos resumos: 17/07/98
INSTRUCOES PARA AUTORES
Convidamos pesquisadores da área de Métodos Formais a submeter resumos originais que não tenham sido submetidos simultaneamente para outras conferências. Os resumos podem ser escritos em língua portuguesa,
inglesa ou espanhola.
Formato dos artigos:
Submissão:
ORGANIZAÇÃO
Para maiores informações, contatar:
Apoio: FAPERGS
Realização: II/UFRGS
Os Métodos Formais não se limitam somente a sistemas de software, mas a qualquer sistema, pois eles proporcionam a construção e análise de modelos matemáticos que representam a realidade. Assim, o comportamento de implementações de sistemas físicos podem ser previamente conhecidos e validados. A escolha do método formal adequado para cada tipo de problema depende do tipo de aplicação e tipo de análise que se deseja fazer. No processo de desenvolvimento de uma mesma aplicação, podem ser utilizados vários métodos formais diferentes, cada um explorando um ponto de vista.
O Objetivo do Workshop é reunir pesquisadores interessados nesta área
tão importante da Computação, trocando experiências, apresentando artigos originais, descrevendo suas pesquisas institucionais, de
tal forma que, juntos, venham fortalecer o desenvolvimento desta importante
área no país.
* Semântica formal e modelos de computação
* Verificação formal
* Análise formal de algoritmos
* Métodos formais para inteligência artificial, automação industrial, protocolos de comunicação, circuitos digitais, bancos de dados, sistemas tolerantes a falhas, especificação e semântica de sistemas concorrentes, de tempo real, orientados a objetos, distribuídos, etc.
* Fundamentos lógicos e algébricos da computação
* Aplicações de métodos formais
localizado na:
Av. Bento Gonçalves, 9.500 Bloco IV
Bairro Agronomia
91509-900 Porto Alegre RS
Notificação da aceitação: 24/08/98
Recebimento das versões Camera ready: 18/09/98
Os resumos submetidos deverão ter no máximo 4 páginas (coluna simples) usando um fonte 12pt.
O formato do arquivo submetido deve ser PostScript.
Serão aceitas apenas submissões por FTP, as quais devem ser confirmadas por correio eletrônico.
Os endereços são os seguintes:
FTP: ftp://caracol.inf.ufrgs.br/pub/wmf98
Em casos especiais, poderá ser aceita submissão por correio eletrônico:
(attach document).
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)
Murilo Silva de Camargo (UFSC)