Welcome to SEFM 2014

The 12th edition of the International Conference on Software Engineering and Formal Methods will be held in Grenoble, France on September 1-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.

Important Dates

  • Abstract Submission: March 14, 2014 March 21, 2014 (extended)
  • Paper Submission: March 21, 2014 (AoE) March 28, 2014 (AoE) (extended)
  • Notification: May 19, 2014
  • Camera Ready: June 13, 2014
  • Registration (early): July 20, 2014


Logo Inria Logo Grenoble INP Logo LIG Logo CNRS Logo UJF
Logo RMIT Logo LaMetro

Crédit photo : Pierre Jayet http://www.pierrejayet.com/