Contact Person : easyconferences; Last Date for the submission of abstract : 16/05/2016; Description : FM 2016 is the 21st in a series of symposia organized by Formal Methods Europe. The symposia bring together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers.