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: