FM4industry:Current events

ICFEM 2012: 14th International Conference on Formal Engineering Methods

 * date: November 12-16, 2012
 * location: Kyoto (Japan)
 * http://research.nii.ac.jp/eventb2012/
 * Workshop on experience and advances in developing dependable systems in Event-B (Nov 13)

AVOCS 2012: 12th International Workshop on Automated Verification of Critical Systems

 * date: September 18-20, 2012
 * location: Bamberg (Germany)
 * http://www.swt-bamberg.de/AVoCS2012/

FM2012: Formal Methods 2012

 * date: August 27-31, 2012
 * location: Paris (France)
 * http://fm2012.cnam.fr/

IFM2012 - ABZ2012

 * date: June 18 - 21, 2012
 * location: Pisa (Italy)
 * http://ifm.isti.cnr.it/

DEPLOY Federated Event 2012

 * date: Feb 29 - March 2, 2012
 * location: Fontainebleau (France)
 * http://www.bmethod.com/php/federated-event-2012-en.php