SBMF 2010: 13th Brazilian Symposium on Formal Methods
El SBMF 2010: 13th Brazilian Symposium on Formal Methods se celebrará en Natal (Rio Grande do Norte, Brazil) del 8 al 12 de Noviembre.
Entre los temas del congreso relacionados con el trabajo de nuestro grupo están:
- Especificación y modelización.
- Técnicas de abstracción, modularización y refinamiento.
- Demostración automática de teoremas.
- Certificación de software.
- Enseñanza de, y con, métodos formales.
- Desarrollo de metodogías basadas en métodos formales.
La fecha de envío de artículos finaliza el 10 de Junio.