FM 2011: 17th International Symposium on Formal Methods June 19, 2011

The symposia have been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users as well as researchers.

Official Website: http://www.lero.ie/fm2011