Please note that this newsitem has been archived, and may contain outdated information or links.
29-31 August 2007, 10th Symposium on Formal Methods, Ouro preto, Brazil
Date: 29-31 August 2007
Location: Ouro preto, Brazil
Deadline: 15 May 2007
The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field.
For more information, see http://www.sbmf2007.ufop.br/
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 15th May, 2007
Please note that this newsitem has been archived, and may contain outdated information or links.