Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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.