Newsletter

Please subscribe to receive updated news about SBMF'09::
 
Name:
Email:


Best Paper Award Winners
Wednesday, 09 September 2009

We are proud to congratulate the best paper award winners:

  • Best GC Paper Award:

Miguel Alexandre Ferreira and José Nuno Oliveira. An Integrated Formal Methods Tool-Chain and its Application to Verifying a File System Model.

  • Best Paper Award:

Adriana Damasceno, Adalberto Farias and Alexandre Mota.  A Mechanized Strategy for Safe Abstraction of CSP Specifications.
 
List of SBMF accepted papers is online
Friday, 19 June 2009

We are pleased to inform the list of papers accepted to be presented in the Brazilian Symposium on Formal Methods. Please refer to Program, Accepted Papers for the list.
 
Informations about Invited Talks are online
Friday, 19 June 2009
We are pleased to announce that titles and abstracts of the invited talks are available online. Please refer to Program, Invited Talks for these informations.
 
List of SAST accepted papers are online
Saturday, 18 July 2009

We are pleased to inform the list of accepted papers for presentation in the Brazilian Workshop on Systematic and Automated Software Testing. Please refer to Co-located Events, SAST's homepage for this list.