Call For Participation

SEFM 2017 - Call for Participation

15th International Conference
on Software Engineering and Formal Methods

September 4-8, 2017 Trento, Italy


  • Marsha Chechik (University of Toronto, Canada)
  • Jeff Kramer (Imperial College London, United Kingdom)
  • Alberto Sangiovanni-Vincentelli (Berkeley University, United States)


  • FAACS. Formal Approaches for Advanced Computing Systems. (4 September)
  • MSE. Microservices: Science and Engineering. (4 September)
  • POTENTIAL. Workshop on Technology Transfer in Software Engineering and Formal Methods (4 September)
  • DataMod. From Data to Models and Back. (4-5 September)
  • CoSim-CPS. Formal Co-Simulation of Cyber-Physical Systems. (5 September)
  • FOCLASA. Workshop on Foundations Of Coordination Languages and Self-Adaptive Systems. (5 September)


  • International Conference on Computer Safety, Reliability and Security (SAFECOMP 2017)
  • International Symposium on Model-Based Safety Assessment (MBSA 2017)

The list of accepted papers is available at:

The program is available at:

The registration for SEFM'17 (together with its affiliated workshops and tutorials) is now open! Early registration with reduced rates ends on August 17.
See all the details at:

The conference and workshops will take place at the Science and Technology Hub of Fondazione Bruno Kessler.  More information about the venue at: