Events Calendar
|
13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS (BMF2010)
Thursday, 10 June 2010, 8:00
Contact Leila Silva (Federal University of Sergipe)Jim Davies (University of Oxford)This email address is being protected from spambots. You need JavaScript enabled to view it.
13th BRAZILIAN SYMPOSIUM ON FORMAL METHODS (BMF2010)
Natal, Rio Grande do Norte, Brazil November 8-12, 2010
http://sbmf2010.dimap.ufrn.br/
SBMF 2010 is the thirteenth of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. It is now a well-established event, with a very good national and international reputation. SBMF is the main event on formal methods in Br
Natal, Rio Grande do Norte, Brazil November 8-12, 2010
http://sbmf2010.dimap.ufrn.br/
SBMF 2010 is the thirteenth of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. It is now a well-established event, with a very good national and international reputation. SBMF is the main event on formal methods in Br