SEFM 2014 - Software Engineering and Formal Methods

Équipes : 

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 :

The 12th edition of the International Conference on Software Engineering and Formal Methods will be held in Grenoble, France on September 3-5, 2014. The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.