Calendário de Eventos
|
Quinta-feira, 10 Junho 2010, 08:00
Contato: Leila Silva (Federal University of Sergipe)Jim Davies (University of Oxford)Este endereço de email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-lo.
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