[Om-announce] ICFEM 2014, Luxembourg, 3-7 November 2014: Last Call for Participation

Liu Yang (Asst Prof) yangliu at ntu.edu.sg
Fri Oct 17 11:45:41 CEST 2014

16th International Conference on Formal Engineering Methods
ICFEM 2014, Luxembourg, 3-7 November 2014

Last Call for Participation

The 16th International Conference on Formal Engineering Methods (ICFEM
2014) will be held at the Melia Hotel in Luxembourg, Luxembourg from
3rd November to 7 November 2014. Since 1997, ICFEM has been serving as
an international forum for researchers and practitioners who have been
seriously applying formal methods to practical applications.

+ Keynote speakers: Nikolaj Bjorner (Microsoft Research), Lionel
Briand (University of Luxembourg) and Vincent Danos (University of
+ The conference is now available http://icfem2014.uni.lu/program.php
+ Panel discussion on November 4th: Are Formal Engineering Methods and Agile Methods Friend or Enemy?
+ Two affiliated workshops FTSCS 2014 and SOFL+MSVL.

PC Chairs
+ Stephan Merz (INRIA, France)
+ Jun Pang (University of Luxembourg, Luxembourg)
CONFIDENTIALITY: This email is intended solely for the person(s) named and may be confidential and/or privileged. If you are not the intended recipient, please delete it, notify us and do not copy, use, or disclose its contents.
Towards a sustainable earth: Print only when necessary. Thank you.

More information about the Om-announce mailing list