O professor Gustavo Carvalho, do Centro de Informática (CIn) da UFPE, está compondo, como co-coordenador do comitê de programa, a organização do XXIII Simpósio Brasileiro de Métodos Formais (SBMF) 2020. A conferência traz uma série de eventos voltados ao desenvolvimento, disseminação e uso de métodos formais para a construção de sistemas computacionais de alta qualidade. Patrocinado pela Sociedade Brasileira de Computação (SBC), o simpósio acontece em novembro deste ano.

O SBMF 2020 contará com três palestras e quatro sessões técnicas, entre os dias 25 e 27 deste mês, e busca atrair e inspirar, além de interessados pela área, novas pessoas para fazer parte da comunidade de computação.

O evento será realizado todo em Inglês e, excepcionalmente este ano, apresentado de forma 100% virtual por conta da pandemia do novo coronavírus. Para realizar inscrição basta clicar no link

Comentários desativados