Call For Participation




SEFM 2017 - Call for Participation

15th International Conference
on Software Engineering and Formal Methods

September 4-8, 2017 Trento, Italy



INVITED SPEAKERS

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

WORKSHOPS

  • 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)

RELATED EVENTS

  • 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:
http://sefm17.fbk.eu/accepted-papers

The program is available at:
http://sefm17.fbk.eu/programme



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: http://sefm17.fbk.eu/registration


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

Comments