SEFM 2014 is a conference on software engineering and formal methods that will take place in Grenoble (MJK, campus) in September 3-5, 2014.
More details are available on the Website where you can particularly find the conference programme : http://sefm2014.inria.fr/