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

Sobre este site

Portal institucional do Centro de Informática – UFPE

Encontre-nos

Endereço
Av. Jornalista Aníbal Fernandes, s/n – Cidade Universitária.
Recife-PE – Brasil
CEP: 50.740-560

Horário
Segunda–Sexta: 8:00–18:00