|
This volume contains the papers presented at SBMF 2012: the 15th Brazilian
Symposium on Formal Methods. The conference was held in the city of Natal,
Brazil, colocated with CBSoft 2012, the Third Brazilian Conference on Software:
Theory and Practice.
The conference program included two invited talks, given by John Rushby
(SRI International, USA) and Wolfram Schulte (Microsoft Research, USA).
A total of 14 research papers were presented at the conference and are included
in this volume; they were selected from 29 submissions. The submissions
came from 12 countries: Argentina, Brazil, Canada, China, France, Germany,
Morroco, Portugal, Swiss, Uruguay, the UK, and the USA. There was also a
special track for short papers, which are published as a technical report.
The deliberations of the Program Committee and the preparation of these
proceedings were handled by EasyChair, which indeed made our lives much
easier.
We are grateful to the Program Committee, and the additional reviewers,
for their hard work in evaluating submissions and suggesting improvements.
SBMF 2012 was organized by Departamento de Inform´atica e Matem´atica Aplicada
da Universidade Federal do Rio Grande do Norte (DIMAP/UFRN) under
the auspices of the Brazilian Computer Society (SBC). We are very thankful
of the organizer of this year’s conference, David Deharbe (UFRN), and we are
specially thankful to CBSoft2012 organizers N´elio Cacho (DIMAP/UFRN), Frederico
Lopes (DIMAP/UFRN), and Gibeon Aquino (DIMAP/UFRN), who arranged
everything and made the conference run smoothly. |