Salvador - A 12.ª edição do Simpósio Brasileiro de Métodos Formais (SBMF), organizado pelo Laboratório de Sistemas Distribuídos (LaSiD) do Departamento de Ciência da Computação da UFBA (DCC) começa no próximo dia 26 (até 29), em Salvador. Na programação, apresentação de 16 trabalhos selecionados, quatro palestras de especialistas de renome internacional e minicursos. Sob a chancela científica da Sociedade Brasileira de Computação, o evento é de grande importância para as empresas de software, comunidade científica da área de computação, pesquisadores e alunos da graduação e pós-graduação. O simpósio vai proporcionar oportunidade de interação com pesquisadores renomados e de atualização frente aos resultados de pesquisas recentes desenvolvidas no Brasil e no exterior em torno da utilização de formalismos no desenvolvimento de sistemas computacionais confiáveis. Mais informações: http://www.lasid.ufba.br/sbmf2008/. |
